]> git.zerfleddert.de Git - micropolis/commitdiff
fix multiplayer mode
authorMichael Gernoth <michael@gernoth.net>
Wed, 16 Jan 2008 00:40:49 +0000 (01:40 +0100)
committerMichael Gernoth <michael@gernoth.net>
Wed, 16 Jan 2008 00:40:49 +0000 (01:40 +0100)
res/micropolis.tcl

index 954688483b74316c274a0eefd00c9f6c3120668c..c298ec117a86ddc1d86e0bbd1edc78f6b31ef07a 100644 (file)
@@ -3101,8 +3101,10 @@ proc ShowSplashOf {head} {
 
 
 proc WithdrawSplashOf {head} {
 
 
 proc WithdrawSplashOf {head} {
-  set win WindowLink $head.splash]
-  wm withdraw $win
+  set win [WindowLink $head.splash]
+  if {$win != {}} {
+    wm withdraw $win
+  }
 }
 
 
 }
 
 
@@ -3152,8 +3154,10 @@ proc ShowScenarioOf {head} {
 
 
 proc WithdrawScenarioOf {head} {
 
 
 proc WithdrawScenarioOf {head} {
-  set win WindowLink $head.scenario]
-  wm withdraw $win
+  set win [WindowLink $head.scenario]
+  if {$win != {}} {
+    wm withdraw $win
+  }
 }
 
 
 }
 
 
Impressum, Datenschutz