Browse Source

Fixed shut down

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@8278 8c9fc860-2736-0410-a75d-ab315db34111
negelef 7 years ago
parent
commit
4127128f1f
1 changed files with 1 additions and 1 deletions
  1. 1 1
      source/Unix.Environment.Mod

+ 1 - 1
source/Unix.Environment.Mod

@@ -23,7 +23,7 @@ END Abort;
 
 
 PROCEDURE Shutdown*;
 PROCEDURE Shutdown*;
 BEGIN {UNCOOPERATIVE, UNCHECKED}
 BEGIN {UNCOOPERATIVE, UNCHECKED}
-	Trace.StringLn ("system: shutting down...");
+	IF CAS (status, Running, ShuttingDown) # Running THEN RETURN END;
 	Trace.StringLn ("system: shutting down...");
 	Trace.StringLn ("system: shutting down...");
 END Shutdown;
 END Shutdown;