Changeset 7396 for trunk/Res_Piccolo/com/bluecast/xml/EntityManager.java

Timestamp:

11/21/06 13:35:34 (6 years ago)

Author:

sys

Message:

bug dans le reader qui dupliquait la déclaration xml + suppr rewindDeclaration non utilisé et manifestement bugué

File:

• trunk/Res_Piccolo/com/bluecast/xml/EntityManager.java (modified) (2 diffs)

trunk/Res_Piccolo/com/bluecast/xml/EntityManager.java

@@ -74 +74 @@
                         if (!isInternal()) {
                                 if (resolver == null) {
-                                        reader = new XMLStreamReader((new URL(sysID)).openStream(), true);
+                                        reader = new XMLStreamReader((new URL(sysID)).openStream());
                                 } else {
                                         InputSource source = resolver.resolveEntity(pubID, sysID);
                                         if (source == null) {
-                                                reader = new XMLStreamReader((new URL(sysID)).openStream(), true);
+                                                reader = new XMLStreamReader((new URL(sysID)).openStream());
                                         } else {
                                                 Reader r = source.getCharacterStream();
                                                 if (r != null)
-                                                        reader = new XMLReaderReader(r, true);
+                                                        reader = new XMLReaderReader(r);
                                                 else {
                                                         InputStream in;
@@ -88 +88 @@
                                                         in = source.getByteStream();
                                                         if (in != null)
-                                                                reader = new XMLStreamReader(in, source.getEncoding(), true);
-                                                        else reader = new XMLStreamReader((new URL(source.getSystemId())).openStream(), source.getEncoding(), true);
+                                                                reader = new XMLStreamReader(in, source.getEncoding());
+                                                        else reader = new XMLStreamReader((new URL(source.getSystemId())).openStream(), source.getEncoding());
                                                 }
                                         }