ExternalStream.st
changeset 1642 91c6860f1c9d
parent 1522 1d0b4bc2e563
child 1688 8a42db1eea60
--- a/ExternalStream.st	Thu Aug 29 22:52:10 1996 +0200
+++ b/ExternalStream.st	Fri Aug 30 00:40:40 1996 +0200
@@ -979,7 +979,11 @@
     "close the stream - added for protocol compatibility with PipeStream.
      see comment there"
 
+    filePointer isNil ifTrue:[^ self].
+    Lobby unregister:self.
     self closeFile
+
+    "Modified: 30.8.1996 / 00:39:21 / cg"
 ! !
 
 !ExternalStream methodsFor:'line reading/writing'!
@@ -3488,6 +3492,6 @@
 !ExternalStream  class methodsFor:'documentation'!
 
 version
-    ^ '$Header: /cvs/stx/stx/libbasic/ExternalStream.st,v 1.109 1996-07-03 12:21:55 stefan Exp $'
+    ^ '$Header: /cvs/stx/stx/libbasic/ExternalStream.st,v 1.110 1996-08-29 22:40:40 cg Exp $'
 ! !
 ExternalStream initialize!