[patch] Patch to change XtpipesPrintWriter to PrintWriter

tex4ht-20080829_p0203-fix_XtpipesPrintWriter.patch (text/plain), 1.91 KB, created by John Keeping on 2008-09-01 18:09:33 UTC

diff -Naur ../tex4ht-1.0.2008_08_29_0203/src/java/xtpipes/Xtpipes.java ./src/java/xtpipes/Xtpipes.java
--- ../tex4ht-1.0.2008_08_29_0203/src/java/xtpipes/Xtpipes.java	2008-08-25 20:36:13.000000000 +0100
+++ ./src/java/xtpipes/Xtpipes.java	2008-09-01 18:45:49.000000000 +0100
@@ -91,7 +91,7 @@
 rootName = null;
 trace = false;
 
-  outPrintWriter = new XtpipesPrintWriter( out, true );
+  outPrintWriter = new PrintWriter( out, true );
   logWriter = (log==null)? (new PrintWriter( System.err )) : log;
   mainMethod(args);
   outPrintWriter.flush();
@@ -118,14 +118,14 @@
 rootName = null;
 trace = false;
 
-  outPrintWriter = new XtpipesPrintWriter( out );
+  outPrintWriter = new PrintWriter( out );
   logWriter = (log==null)? (new PrintWriter( System.err )) : log;
   mainMethod(args);
   outPrintWriter.flush();
 }
 
    public static void xtpipes(String [] args,
-                           XtpipesPrintWriter out,
+                           PrintWriter out,
                            PrintWriter log)
                                                 throws Exception {
   map = new HashMap  <String,Object> ();
@@ -399,7 +399,7 @@
 
 }
 if( outPrintWriter == null ){
-   outPrintWriter = new XtpipesPrintWriter(System.out,true);
+   outPrintWriter = new PrintWriter(System.out,true);
 }
 
 if( !returnDom ){
@@ -709,7 +709,7 @@
   if( outFileName != null ){
    try {
       FileWriter fw = new FileWriter( outFileName );
-      outPrintWriter = new XtpipesPrintWriter( fw );
+      outPrintWriter = new PrintWriter( fw );
       returnToFile = true;
    } catch(Exception e){
       instructionErr( null, e.toString(), 12 );
@@ -839,7 +839,7 @@
                  .getNamedItem( "file" ).getNodeValue();
    try{
        FileWriter fw = new FileWriter( file );
-       XtpipesPrintWriter out = new XtpipesPrintWriter( fw );
+       PrintWriter out = new PrintWriter( fw );
        out.println( xml );
        out.close();
    } catch(Exception e){