forgot cleanup

This commit is contained in:
van Hauser
2020-02-19 10:52:44 +01:00
parent 69898722cb
commit f9d7ad8e43
10 changed files with 65 additions and 51 deletions

View File

@ -1014,12 +1014,12 @@ int main(int argc, char** argv, char** envp) {
tcnt, highest, total, out_file);
}
if (stdin_file) {
unlink(stdin_file);
stdin_file = NULL;
}
exit(child_crashed * 2 + child_timed_out);