Skip to content
Permalink
Browse files

tools: close stdin on sigint

  • Loading branch information...
aberaud committed Jun 21, 2019
1 parent feb4983 commit 89ff1317506fe746dda9264394dad6bc255c425c
Showing with 2 additions and 0 deletions.
  1. +2 −0 tools/tools_common.h
@@ -303,6 +303,8 @@ void signal_handler(int sig)
case SIGHUP:
break;
case SIGINT:
close(STDIN_FILENO);
// fall through
case SIGTERM:
runner.kill();
break;

0 comments on commit 89ff131

Please sign in to comment.
You can’t perform that action at this time.