This commit is contained in:
Sönke Ludwig 2018-07-09 09:18:59 +02:00
parent 6ca6dd16d4
commit 360f129381
No known key found for this signature in database
GPG key ID: D95E8DB493EE314C

View file

@ -227,7 +227,7 @@ int runEventLoop()
}
// make sure the exit flag watch task finishes together with this loop
// TODO: would be niced to do this without exceptions
// TODO: would be nice to do this without exceptions
if (exit_task && exit_task.running)
exit_task.interrupt();