QTfrontend/game.cpp
changeset 13659 1889e4e95794
parent 13628 d5e029b84e16
child 13846 d012948b1eda
--- a/QTfrontend/game.cpp	Mon Aug 13 16:31:22 2018 +0200
+++ b/QTfrontend/game.cpp	Mon Aug 13 20:19:32 2018 +0200
@@ -531,7 +531,7 @@
 void HWGame::abort()
 {
     QByteArray buf;
-    HWProto::addStringToBuffer(buf, QString("efinish"));
+    HWProto::addStringToBuffer(buf, QString("eforcequit"));
     RawSendIPC(buf);
 }