launcher/src/wombat/util/errorlog/LoggingOutputStream.java
public void flush() throws IOException { 
 
        String record; 
        synchronized(this) { 
            super.flush(); 
            record = this.toString(); 
            super.reset(); 
 
            if (record.length() == 0 || record.equals(lineSeparator)) { 
                // avoid empty records 
                return; 
            } 
 
            logger.logp(level, "", "", record); 
            if (CopyTo != null) {
            	CopyTo.println(record);
            	CopyTo.flush();
            }
        } 
    }
/** 
     * upon flush() write the existing contents of the OutputStream
     * to the logger as a log record. 
     * @throws java.io.IOException in case of error 
     */
upon flush() write the existing contents of the OutputStream
to the logger as a log record.
@throws java.io.IOException in case of error
upon flush () write the existing contents of the OutputStream to the logger as a log record . @throws java . io . IOException in case of error
public void flush() throws IOException { 
        String record; 
        synchronized(this) { 
            super.flush(); 
            record = this.toString(); 
            super.reset(); 
            if (record.length() == 0 || record.equals(lineSeparator)) { 
                return; 
            } 
            logger.logp(level, "", "", record); 
            if (CopyTo != null) {
            	CopyTo.println(record);
            	CopyTo.flush();
            }
        } 
    }
public void flush ( ) throws IOException { String record ; synchronized ( this ) { super . flush ( ) ; record = this . toString ( ) ; super . reset ( ) ; if ( record . length ( ) == 0 || record . equals ( lineSeparator ) ) { return ; } logger . logp ( level , "" , "" , record ) ; if ( CopyTo != null ) { CopyTo . println ( record ) ; CopyTo . flush ( ) ; } } }
upon flush() write the existing contents of the OutputStream
 to the logger as a log record.
upon flush () write the existing contents of the OutputStream to the logger as a log record .
// avoid empty records 