From 10232e1a567cd2557b74099cdf9ad9ca48f7be7b Mon Sep 17 00:00:00 2001
From: Ivan Ilves <ivan.ilves@gmail.com>
Date: Sun, 2 Apr 2017 22:42:07 +0200
Subject: [PATCH] Better exit if SSH down

---
 xiringuito | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/xiringuito b/xiringuito
index 612dfe6..4ac6c1d 100755
--- a/xiringuito
+++ b/xiringuito
@@ -122,6 +122,8 @@ fi
 set +e
 FAILED_PINGS=0
 while [[ ${FAILED_PINGS} -lt 5 ]]; do
+  kill -0 ${SSH_PID} &>/dev/null || exit 17
+
   ./scripts/client-ping-server.sh ${TUNNEL_ID} ${IP_BASE}
   if [[ ${?} -ne 0 ]]; then
     let FAILED_PINGS+=1