TerminalSession.st
changeset 5391 ab2ead078b27
parent 5365 9dd32d8a4943
--- a/TerminalSession.st	Fri Dec 13 22:58:11 2019 +0100
+++ b/TerminalSession.st	Mon Dec 16 12:06:20 2019 +0100
@@ -1,5 +1,3 @@
-"{ Encoding: utf8 }"
-
 "
  COPYRIGHT (c) 2013 by eXept Software AG
               All Rights Reserved
@@ -640,9 +638,9 @@
         OperatingSystem isUNIXlike ifTrue:[
             OperatingSystem interruptProcessGroup:shellPid.
             OperatingSystem interruptProcess:shellPid.
-            "/ status := OperatingSystem childProcessWait:false pid:shellPid.
         ] ifFalse:[
-            'TerminalSession [info]: IRQ unimplemented for DOS' infoPrintCR.
+            OperatingSystem sendCtrlCToProcess:shellPid.
+            "/ 'TerminalSession [info]: IRQ unimplemented for DOS' infoPrintCR.
         ].
     ] ifFalse:[
         'TerminalSession [info]: no shell' infoPrintCR.