patrick
/
plasp
Archived
1
0
Fork 0

Correctly terminate plasp with failure exit code when unhandled exceptions are caught.

This commit is contained in:
Patrick Lühne 2016-06-14 00:32:26 +02:00
parent 22f294493e
commit 591d3fcafd
1 changed files with 1 additions and 1 deletions

View File

@ -71,7 +71,7 @@ int main(int argc, char **argv)
{
std::cerr << messagePrefix << ": " << exception.what() << std::endl << std::endl;
printHelp();
return EXIT_FAILURE;
exit(EXIT_FAILURE);
};
try