Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
View | Details | Raw Unified | Return to bug 236369
Collapse All | Expand All

(-)../tex4ht-1.0.2008_08_29_0203/src/java/xtpipes/Xtpipes.java (-6 / +6 lines)
Lines 91-97 Link Here
91
rootName = null;
91
rootName = null;
92
trace = false;
92
trace = false;
93
93
94
  outPrintWriter = new XtpipesPrintWriter( out, true );
94
  outPrintWriter = new PrintWriter( out, true );
95
  logWriter = (log==null)? (new PrintWriter( System.err )) : log;
95
  logWriter = (log==null)? (new PrintWriter( System.err )) : log;
96
  mainMethod(args);
96
  mainMethod(args);
97
  outPrintWriter.flush();
97
  outPrintWriter.flush();
Lines 118-131 Link Here
118
rootName = null;
118
rootName = null;
119
trace = false;
119
trace = false;
120
120
121
  outPrintWriter = new XtpipesPrintWriter( out );
121
  outPrintWriter = new PrintWriter( out );
122
  logWriter = (log==null)? (new PrintWriter( System.err )) : log;
122
  logWriter = (log==null)? (new PrintWriter( System.err )) : log;
123
  mainMethod(args);
123
  mainMethod(args);
124
  outPrintWriter.flush();
124
  outPrintWriter.flush();
125
}
125
}
126
126
127
   public static void xtpipes(String [] args,
127
   public static void xtpipes(String [] args,
128
                           XtpipesPrintWriter out,
128
                           PrintWriter out,
129
                           PrintWriter log)
129
                           PrintWriter log)
130
                                                throws Exception {
130
                                                throws Exception {
131
  map = new HashMap  <String,Object> ();
131
  map = new HashMap  <String,Object> ();
Lines 399-405 Link Here
399
399
400
}
400
}
401
if( outPrintWriter == null ){
401
if( outPrintWriter == null ){
402
   outPrintWriter = new XtpipesPrintWriter(System.out,true);
402
   outPrintWriter = new PrintWriter(System.out,true);
403
}
403
}
404
404
405
if( !returnDom ){
405
if( !returnDom ){
Lines 709-715 Link Here
709
  if( outFileName != null ){
709
  if( outFileName != null ){
710
   try {
710
   try {
711
      FileWriter fw = new FileWriter( outFileName );
711
      FileWriter fw = new FileWriter( outFileName );
712
      outPrintWriter = new XtpipesPrintWriter( fw );
712
      outPrintWriter = new PrintWriter( fw );
713
      returnToFile = true;
713
      returnToFile = true;
714
   } catch(Exception e){
714
   } catch(Exception e){
715
      instructionErr( null, e.toString(), 12 );
715
      instructionErr( null, e.toString(), 12 );
Lines 839-845 Link Here
839
                 .getNamedItem( "file" ).getNodeValue();
839
                 .getNamedItem( "file" ).getNodeValue();
840
   try{
840
   try{
841
       FileWriter fw = new FileWriter( file );
841
       FileWriter fw = new FileWriter( file );
842
       XtpipesPrintWriter out = new XtpipesPrintWriter( fw );
842
       PrintWriter out = new PrintWriter( fw );
843
       out.println( xml );
843
       out.println( xml );
844
       out.close();
844
       out.close();
845
   } catch(Exception e){
845
   } catch(Exception e){

Return to bug 236369