diff --git a/src/porting.cpp b/src/porting.cpp index 8ea61f7cc..ce35fe577 100644 --- a/src/porting.cpp +++ b/src/porting.cpp @@ -75,8 +75,7 @@ bool * signal_handler_killstatus(void) void sigint_handler(int sig) { - if(g_killed == false) - { + if(!g_killed) { dstream<