]> git.zerfleddert.de Git - micropolis/commitdiff
Fix for shared memory leak by Kurt Miller.
authorMichael Gernoth <michael@gernoth.net>
Tue, 15 Jan 2008 22:19:49 +0000 (23:19 +0100)
committerMichael Gernoth <michael@gernoth.net>
Tue, 15 Jan 2008 22:19:49 +0000 (23:19 +0100)
Thanks to Deanna Phillips for forwarding it.

src/sim/w_tk.c

index 2a380b3878a11f83625ab03167a847d11ecf33f4..ceed33ad6e8bf7762e47d65684f1835758a6c1e9 100644 (file)
@@ -819,7 +819,7 @@ tk_main()
 
   Tk_MainLoop();
 
-  sim_exit(0); // Just sets tkMustExit and ExitReturn
+  sim_really_exit(0);
 
  bail:
 
Impressum, Datenschutz