public void updateStatus ( long result ) { if ( result != - 1 ) { Double time = execTime / 1000 ; String s = String . format ( "Execution time: %s sec - Number of rows retrieved: %,d " , time , result ) ; Runnable time_setter = new ExecTimeSetter ( s ) ; SwingUtilities . invokeLater ( time_setter ) ; } }
get and update the info box with the actual time in seconds of the execution of the query