Commit b1bd16be authored by Chris Toshok's avatar Chris Toshok

joinRuntime before we abort so that if we're running in profile mode we'll get perf maps

parent a53ab1a8
......@@ -361,6 +361,7 @@ static void handle_sigint(int signum) {
// TODO: this should set a flag saying a KeyboardInterrupt is pending.
// For now, just call abort(), so that we get a traceback at least.
fprintf(stderr, "SIGINT!\n");
joinRuntime();
abort();
}
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment