force quit on second Ctrl+C

This commit is contained in:
Robert Müller 2021-06-12 17:01:46 +02:00 committed by Dennis Felsing
parent eecd13476c
commit a69852bdfc

View file

@ -3607,7 +3607,10 @@ static CServer *CreateServer() { return new CServer(); }
void HandleSigInt(int Param) void HandleSigInt(int Param)
{ {
InterruptSignaled = true; if(InterruptSignaled)
exit(1);
else
InterruptSignaled = true;
} }
int main(int argc, const char **argv) // ignore_convention int main(int argc, const char **argv) // ignore_convention