ExternalStream.st
changeset 21229 683f7b03f4d6
parent 21224 9bbb95a21764
child 21232 621013a10bc9
--- a/ExternalStream.st	Thu Jan 12 00:17:39 2017 +0100
+++ b/ExternalStream.st	Thu Jan 12 01:10:22 2017 +0100
@@ -2188,6 +2188,10 @@
     ^ self error:'not a FILE*'
 !
 
+handle
+    ^ handle
+!
+
 handleType
     ^ handleType
 !