application exit

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

source/Generic.Modules.Mod

@@ -845,6 +845,8 @@ BEGIN
 		Trace.String("publish registered modules"); Trace.Ln;
 	END;
 	PublishRegisteredModules;
+	(* a standard A2 kernel does not reach this point, but for standalone executables this is required *)
+	Machine.Shutdown(FALSE);
 END Main;
 
 PROCEDURE Init;