From 4d7fa14dd1ce3f1f87bf991d17dd017917131f4a Mon Sep 17 00:00:00 2001
From: Camil Staps <info@camilstaps.nl>
Date: Mon, 30 Oct 2017 10:31:19 +0100
Subject: [PATCH] Fork that reloads cache should not continue handling requests
 afterwards

---
 backend/CloogleServer.icl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/backend/CloogleServer.icl b/backend/CloogleServer.icl
index f7a8135..3517072 100644
--- a/backend/CloogleServer.icl
+++ b/backend/CloogleServer.icl
@@ -221,8 +221,8 @@ where
 	doInBackground f w
 	#! (pid,w) = fork w
 	| pid  < 0 = abort "fork failed\n"
-	| pid  > 0 = w   // Parent: return directly
-	| pid == 0 = f w // Child: do function
+	| pid  > 0 = w // Parent: return directly
+	| pid == 0 = snd $ exit 0 $ f w // Child: do function
 
 :: LogMemory =
 	{ mem_ip         :: IPAddress
-- 
GitLab