From 29ec39bb8ac38bc78dbcbd6221ef1364e7db6f27 Mon Sep 17 00:00:00 2001
From: John van Groningen <johnvg@cs.ru.nl>
Date: Tue, 20 Apr 2004 14:52:53 +0000
Subject: [PATCH] pass CompilerProcessIds to QuitCleanCompiler

---
 Ide/IDE.icl | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Ide/IDE.icl b/Ide/IDE.icl
index 116fd0a..663b721 100644
--- a/Ide/IDE.icl
+++ b/Ide/IDE.icl
@@ -656,7 +656,10 @@ where
 		# ps			= savePrefs prefspath prefs ps
 		# ps			= pm_save ps
 // macOnly?
-		# ps			= appPIO (QuitCleanCompiler) ps
+		# (method,ps) = getCurrentMeth ps
+		# use_compiler_process_ids = case method of CompileAsync _ -> True ; _ -> False
+		# (compiler_process_ids,ps) = getCompilerProcessIds ps
+		# ps			= appPIO (QuitCleanCompiler use_compiler_process_ids compiler_process_ids) ps
 		= closeProcess ps
 		
 //--- Window rotating
-- 
GitLab