# HG changeset patch
# User displacer
# Date 1170857507 0
# Node ID c7890ba9ed6edcd1e627b631391c9583b32c6c48
# Parent  ea90c6358054b8d0daa65b18a61ccc776b309a4b
lost connection to server warning message

diff -r ea90c6358054 -r c7890ba9ed6e QTfrontend/hwform.cpp
--- a/QTfrontend/hwform.cpp	Wed Feb 07 00:30:25 2007 +0000
+++ b/QTfrontend/hwform.cpp	Wed Feb 07 14:11:47 2007 +0000
@@ -25,6 +25,7 @@
 #include <QIcon>
 #include <QFile>
 #include <QTextStream>
+#include <QMessageBox>
 
 #include "hwform.h"
 #include "game.h"
@@ -309,6 +310,8 @@
   if (hwnet) {
     hwnet->deleteLater();
     hwnet=0;
+    QMessageBox::warning(this, QMessageBox::tr("Network"), 
+			 QMessageBox::tr("Connection to server is lost"));
   }
   GoBack();
 }
diff -r ea90c6358054 -r c7890ba9ed6e QTfrontend/newnetclient.cpp
--- a/QTfrontend/newnetclient.cpp	Wed Feb 07 00:30:25 2007 +0000
+++ b/QTfrontend/newnetclient.cpp	Wed Feb 07 14:11:47 2007 +0000
@@ -51,6 +51,7 @@
 
 void HWNewNet::Disconnect()
 {
+  m_game_connected=false;
   NetSocket.disconnectFromHost();
 }