public void flush ( ) throws IOException { flushBuffer ( ) ; if ( out != null ) { out . flush ( ) ; } // START 6426898 else { // Set the default character encoding if there isn't any present, // see CR 6699416 response . setCharacterEncoding ( response . getCharacterEncoding ( ) ) ; // Cause response headers to be sent response . flushBuffer ( ) ; } // END 6426898 }
Flush the stream .