3435363738394041424344
return; } SubmissionRobotThread thread = workerThread; workerThread = null; thread.shutdown(); thread.join(); } synchronized public void stopTimeoutMillis(int millis) throws Exception { if( null == workerThread ) {
4546474849505152535455
return; } SubmissionRobotThread thread = workerThread; workerThread = null; thread.shutdown(); thread.join(millis); thread.interrupt(); } }