From e25888770014ded189f7c8827df77e15cb566626 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Tue, 15 Mar 2016 22:03:06 +0100
Subject: [PATCH] remove typos

---
 hermit/tools/proxy.c | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

diff --git a/hermit/tools/proxy.c b/hermit/tools/proxy.c
index 9320ac7e5..36de2ca95 100644
--- a/hermit/tools/proxy.c
+++ b/hermit/tools/proxy.c
@@ -55,11 +55,15 @@ static char fname[] = "/tmp/hermitXXXXXX";
 
 extern char hermit_app[];
 extern unsigned app_size;
-
 extern char **environ;
 
+static void stop_hermit(void);
+static void dump_log(void);
+
 static void fini_env(void)
 {
+	dump_log();
+	stop_hermit();
 	unlink(fname);
 }
 
@@ -190,7 +194,7 @@ static void dump_log(void)
 	fclose(file);
 }
 
-static void stop_kermit(void)
+static void stop_hermit(void)
 {
 	FILE* file;
 	char isle_path[MAX_PATH];
@@ -236,8 +240,9 @@ int handle_syscalls(int s)
 				goto out;
 			close(s);
 
-			dump_log();
-			stop_kermit();
+			// already called by fini_env
+			//dump_log();
+			//stop_hermit();
 
 			exit(arg);
 			break;