From 5822a1dc29f6c2c05e8a015692348dd36db2d45b Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sun, 14 Feb 2016 15:18:29 +0100
Subject: [PATCH] after the termination of a HermitCore app, restart Linux on
 the CPUs

---
 hermit/tools/proxy.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/hermit/tools/proxy.c b/hermit/tools/proxy.c
index 4497db5ba..390c71883 100644
--- a/hermit/tools/proxy.c
+++ b/hermit/tools/proxy.c
@@ -168,10 +168,12 @@ static void dump_log(void)
 
 static void stop_kermit(void)
 {
-#if 0
 	FILE* file;
 	char isle_path[MAX_PATH];
 
+	fflush(stdout);
+	fflush(stderr);
+
 	snprintf(isle_path, MAX_PATH, "/sys/hermit/isle%d/cpus", isle_nr);
 
 	file = fopen(isle_path, "w");
@@ -183,7 +185,6 @@ static void stop_kermit(void)
 	fprintf(file, "-1");
 
 	fclose(file);
-#endif
 }
 
 /*