( String filename )
| 1055 | } |
| 1056 | |
| 1057 | public static void redirectOutputToFile( String filename ) |
| 1058 | { |
| 1059 | try { |
| 1060 | PrintStream pout = new PrintStream( |
| 1061 | new FileOutputStream( filename ) ); |
| 1062 | System.setOut( pout ); |
| 1063 | System.setErr( pout ); |
| 1064 | } catch ( IOException e ) { |
| 1065 | System.err.println("Can't redirect output to file: "+filename ); |
| 1066 | } |
| 1067 | } |
| 1068 | |
| 1069 | /** |
| 1070 | Set an external class loader to be used as the base classloader |
no test coverage detected