Fixed potential race condition in Html.validate().

diff --git a/src/dolda/jsvc/next/Html.java b/src/dolda/jsvc/next/Html.java
index 4c5b417..978cad2 100644 (file)
--- a/src/dolda/jsvc/next/Html.java
+++ b/src/dolda/jsvc/next/Html.java
@@ -45,7 +45,10 @@ public class Html extends DocBuffer {
     }
     
     public void validate() {
-       Validator val = schema.newValidator();
+       Validator val;
+       synchronized(schema) {
+           val = schema.newValidator();
+       }
        try {
            val.validate(new javax.xml.transform.dom.DOMSource(doc));
        } catch(org.xml.sax.SAXException e) {