react on a closure request and IO errors

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@7654 8c9fc860-2736-0410-a75d-ab315db34111

source/Shell.Mod

@@ -261,6 +261,9 @@ TYPE
 
 				ELSE
 					(* ignore non-ascii characters *)
+					IF close OR (context.in.res # Streams.Ok) THEN
+						EXIT;
+					END;
 				END;
 			END;
 			command[currentIndex+1] := 0X;