Use _exit instead of exit

fixes #6820
This commit is contained in:
Gunnar Beutner 2014-07-30 15:14:47 +02:00
parent 6d16d479f0
commit b574f4cb1e
1 changed files with 1 additions and 1 deletions

View File

@ -794,5 +794,5 @@ int main(int argc, char **argv)
int rc = Main();
exit(rc);
_exit(rc);
}