- From: Thomas Gambet via cvs-syncmail <cvsmail@w3.org>
- Date: Thu, 13 Jan 2011 13:21:19 +0000
- To: www-validator-cvs@w3.org
Update of /sources/public/2002/css-validator/org/w3c/css/servlet
In directory hutz:/tmp/cvs-serv14184/org/w3c/css/servlet
Modified Files:
CssValidator.java
Log Message:
~ fixed: vextwarning parameter correctly handled for POST (Cyrille Moureaux)
Index: CssValidator.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/servlet/CssValidator.java,v
retrieving revision 1.44
retrieving revision 1.45
diff -u -d -r1.44 -r1.45
--- CssValidator.java 12 Jan 2011 15:01:56 -0000 1.44
+++ CssValidator.java 13 Jan 2011 13:21:17 -0000 1.45
@@ -153,9 +153,8 @@
}
}
- private void processVendorExtensionParameter(HttpServletRequest request,
- ApplContext context) {
- String vendorExtensionParameter = request.getParameter("vextwarning");
+ private void processVendorExtensionParameter(
+ String vendorExtensionParameter, ApplContext context) {
if (vendorExtensionParameter == null ||
vendorExtensionParameter.length() == 0) {
vendorExtensionParameter =
@@ -351,7 +350,7 @@
}
// Allow vendor extensions to just show up as warnings.
- processVendorExtensionParameter(req, ac);
+ processVendorExtensionParameter(req.getParameter("vextwarning"), ac);
// debug mode
Util.verbose("\nServlet request ");
@@ -503,6 +502,7 @@
String error = null;
String profile = "none";
String usermedium = "all";
+ String vendorExtensionAsWarnings = null;
ServletInputStream in = req.getInputStream();
@@ -578,7 +578,9 @@
if (usermedium == null || "".equals(usermedium)) {
usermedium = "all";
}
- }
+ } else if (tmp[i].getName().equals("vextwarning")) {
+ vendorExtensionAsWarnings = (String) tmp[i].getValue();
+ }
}
} catch (Exception e) {
System.out.println("Oups! Error in Util/Codecs.java?!?");
@@ -631,7 +633,7 @@
}
// Allow vendor extensions to just show up as warnings.
- processVendorExtensionParameter(req, ac);
+ processVendorExtensionParameter(vendorExtensionAsWarnings, ac);
// CSS version
if (profile != null && (!"none".equals(profile) ||"".equals(profile))) {
Received on Thursday, 13 January 2011 13:21:20 UTC