From e5487b846df4f965bf8c90cfbe9c6eb9c5ecceb9 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sun, 19 Feb 2017 22:11:47 +0100
Subject: [PATCH] check if log file is available

---
 tools/proxy.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/tools/proxy.c b/tools/proxy.c
index 5ff734fe2..5481ed4e4 100644
--- a/tools/proxy.c
+++ b/tools/proxy.c
@@ -211,9 +211,11 @@ static int is_hermit_available(void)
 		exit(1);
 	}
 
-	if (qemu)
+	if (qemu) {
 		file = fopen(tmpname, "r");
-	else {
+		if (!file)
+			printf("%s is available\n", tmpname);
+	} else {
 		char logname[MAX_PATH];
 
 		snprintf(logname, MAX_PATH, "/sys/hermit/isle%d/log", isle_nr);