*/
#include <signal.h>
#include <iostream>
+#include "../debug/demangle.h"
#include "../time/units.h"
#include "../time/utils.h"
#include "application.h"
catch(const exception &e)
{
cerr<<"An uncaught exception occurred.\n";
- cerr<<" type: "<<typeid(e).name()<<'\n';
+ cerr<<" type: "<<Debug::demangle(typeid(e).name())<<'\n';
cerr<<" what(): "<<e.what()<<'\n';
delete app_;
- throw;
+ return 124;
}
}