equal
deleted
inserted
replaced
376 if (ShowMessageBoxOnError && is_error_reported()) { |
376 if (ShowMessageBoxOnError && is_error_reported()) { |
377 os::infinite_sleep(); |
377 os::infinite_sleep(); |
378 } |
378 } |
379 |
379 |
380 // Terminate watcher thread - must before disenrolling any periodic task |
380 // Terminate watcher thread - must before disenrolling any periodic task |
381 WatcherThread::stop(); |
381 if (PeriodicTask::num_tasks() > 0) |
|
382 WatcherThread::stop(); |
382 |
383 |
383 // Print statistics gathered (profiling ...) |
384 // Print statistics gathered (profiling ...) |
384 if (Arguments::has_profile()) { |
385 if (Arguments::has_profile()) { |
385 FlatProfiler::disengage(); |
386 FlatProfiler::disengage(); |
386 FlatProfiler::print(10); |
387 FlatProfiler::print(10); |