added pause at the end

master
Thomas Baumbach 2013-09-12 19:51:29 +02:00
parent 94e00bc9e8
commit 070b3e3ff3
1 changed files with 1 additions and 0 deletions

View File

@ -402,6 +402,7 @@ void stats_on_exit() {
std::cout << "*** stale: " << 0 << "\t(" << 0.0 << "%)" << std::endl;
}
std::cout << "********************************************" << std::endl;
boost::this_thread::sleep(boost::posix_time::seconds(3));
}
void exit_handler() {