ExternalStream.st
branchjv
changeset 20580 bb4e5c4f84ef
parent 20578 39641ba8d6e0
parent 20571 c158fb6ff2da
child 20728 83c74234945e
--- a/ExternalStream.st	Sun Oct 09 21:28:18 2016 +0100
+++ b/ExternalStream.st	Mon Oct 10 06:51:29 2016 +0200
@@ -1,5 +1,3 @@
-"{ Encoding: utf8 }"
-
 "
  COPYRIGHT (c) 1988 by Claus Gittinger
 	      All Rights Reserved
@@ -2225,7 +2223,9 @@
 
     self isOpen ifTrue:[
         self unregisterForFinalization.
-        self closeFile.
+        self isOpen ifTrue:[
+            self closeFile.
+        ].
     ].
 !
 
@@ -4627,7 +4627,7 @@
     "
         (FileStream newTemporary
             nextPutUtf16:$B;
-            nextPutUtf16:$Ä;
+            nextPutUtf16:$Ä;
             nextPutUtf16:(Character codePoint:16r10CCCC);
             reset;
             binary;
@@ -6579,7 +6579,7 @@
     ].
 
     "
-	'Bönnigheim' asUnicode16String errorPrintCR
+	'Bönnigheim' asUnicode16String errorPrintCR
     "
 !