From f506a1423d39b2042e4efba2e096c3089c6e382b Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Wed, 17 Feb 2016 21:22:49 +0100
Subject: [PATCH] try to connect ten times before we give up

- retries are important if the network isn't ready
---
 hermit/tools/proxy.c | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/hermit/tools/proxy.c b/hermit/tools/proxy.c
index f11cd2bc3..772eb49e4 100644
--- a/hermit/tools/proxy.c
+++ b/hermit/tools/proxy.c
@@ -407,9 +407,16 @@ int main(int argc, char **argv)
 	serv_name.sin_addr.s_addr = inet_addr(saddr);
 	serv_name.sin_port = htons(HERMIT_PORT);
 
+	i = 0;
+retry:
 	ret = connect(s, (struct sockaddr*)&serv_name, sizeof(serv_name));
 	if (ret < 0)
 	{
+		i++;
+		if (i <= 10) {
+			usleep(10000);
+			goto retry;
+		}
 		perror("Proxy -- connection error");
 		close(s);
 		exit(1);