bug in list of world managements fixed

svn: r13827
This commit is contained in:
Matthias Felleisen 2009-02-25 01:05:45 +00:00
parent 20af4fe7d4
commit 757b1e84d2

View File

@ -146,7 +146,6 @@
(close-output-port (iworld-out p))
(close-input-port (iworld-in p))
(send gui add (format "~a !! closed port" (iworld-name p)))
(set! iworlds (remq p iworlds))
(pdisconnect p)
(cont))