ExternalStream.st
changeset 20571 c158fb6ff2da
parent 20411 5094bd64e3f0
child 20580 bb4e5c4f84ef
child 20675 36768de73391
--- a/ExternalStream.st	Sun Oct 09 11:29:37 2016 +0200
+++ b/ExternalStream.st	Sun Oct 09 11:30:17 2016 +0200
@@ -1,5 +1,3 @@
-"{ Encoding: utf8 }"
-
 "
  COPYRIGHT (c) 1988 by Claus Gittinger
 	      All Rights Reserved
@@ -2218,7 +2216,9 @@
 
     self isOpen ifTrue:[
         self unregisterForFinalization.
-        self closeFile.
+        self isOpen ifTrue:[
+            self closeFile.
+        ].
     ].
 !
 
@@ -4620,7 +4620,7 @@
     "
         (FileStream newTemporary
             nextPutUtf16:$B;
-            nextPutUtf16:$Ä;
+            nextPutUtf16:$Ä;
             nextPutUtf16:(Character codePoint:16r10CCCC);
             reset;
             binary;
@@ -6572,7 +6572,7 @@
     ].
 
     "
-	'Bönnigheim' asUnicode16String errorPrintCR
+	'Bönnigheim' asUnicode16String errorPrintCR
     "
 !