-
-// /** Compression of the archive **/
-// if( ! error )
-// {
-// System.out.print( "Compression of the archive ... " ) ;
-// command = new String[]{ "/bin/gzip",
-// working_directory + "/" + machine.getName()
-// + "_new_" + machine.getComputationId() + ".tar" } ;
-//
-// if( emergencyStop )
-// {
-// return 1 ;
-// }
-//
-// try {
-// procSave = Runtime.getRuntime().exec( command ) ;
-// procSave.waitFor() ;
-//
-// if( procSave.exitValue() == 0 )
-// {
-// System.out.println( "Archive successfully compressed." ) ;
-// } else {
-// System.err.println( "Archive not compressed!" ) ;
-// printProcessError( procSave ) ;
-//
-// error = true ;
-// }
-// } catch( IOException e ) {
-// System.err.println( "Error during archive compression command: " ) ;
-// e.printStackTrace() ;
-// error = true ;
-// } catch( InterruptedException e ) {
-// e.printStackTrace() ;
-// error = true ;
-// }
-// }