while( true ) {
try {
dh->handle();
//} catch( const std::exception &ch ) {
//std::cout << "Real exception: " << typeid(ch).name() << ", " << ch.what() << std::endl;
} catch( const std::string& ch ) {
while( true ) {
try {
dh->handle();
//} catch( const std::exception &ch ) {
//std::cout << "Real exception: " << typeid(ch).name() << ", " << ch.what() << std::endl;
} catch( const std::string& ch ) {