+ //} catch( const std::exception &ch ) {
+ //std::cout << "Real exception: " << typeid(ch).name() << ", " << ch.what() << std::endl;
+ } catch( const std::string& ch ) {
+ logger::error( "Exception: ", ch );
+ } catch( char const* ch ) {
+ logger::error( "Exception: ", ch );