From 40d2b57de90b39a68c5799d6db1cc3f2ea9e5f00 Mon Sep 17 00:00:00 2001
From: Max-Wilhelm Bruker <max.bruker@tu-dortmund.de>
Date: Sun, 25 Mar 2012 17:16:42 +0200
Subject: [PATCH] crash fix

---
 cockatrice/src/tab_supervisor.cpp | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/cockatrice/src/tab_supervisor.cpp b/cockatrice/src/tab_supervisor.cpp
index e14ee537..fc4aa376 100644
--- a/cockatrice/src/tab_supervisor.cpp
+++ b/cockatrice/src/tab_supervisor.cpp
@@ -73,7 +73,7 @@ void CloseButton::paintEvent(QPaintEvent * /*event*/)
 }
 
 TabSupervisor::TabSupervisor(AbstractClient *_client, QWidget *parent)
-	: QTabWidget(parent), client(_client), tabServer(0), tabDeckStorage(0), tabAdmin(0)
+	: QTabWidget(parent), userInfo(0), client(_client), tabUserLists(0), tabServer(0), tabDeckStorage(0), tabAdmin(0), tabReplays(0)
 {
 	tabChangedIcon = new QIcon(":/resources/icon_tab_changed.svg");
 	setElideMode(Qt::ElideRight);
@@ -182,10 +182,14 @@ void TabSupervisor::stop()
 		
 		emit localGameEnded();
 	} else {
-		tabUserLists->deleteLater();
-		tabServer->deleteLater();
-		tabDeckStorage->deleteLater();
-		tabReplays->deleteLater();
+		if (tabUserLists)
+			tabUserLists->deleteLater();
+		if (tabServer)
+			tabServer->deleteLater();
+		if (tabDeckStorage)
+			tabDeckStorage->deleteLater();
+		if (tabReplays)
+			tabReplays->deleteLater();
 	}
 	tabUserLists = 0;
 	tabServer = 0;