From be39a9079c6df62cde0dca050d6c70f2537a1bcc Mon Sep 17 00:00:00 2001
From: Joris ten Tusscher <joristt@gmail.com>
Date: Thu, 8 Mar 2018 15:14:16 +0100
Subject: [PATCH] Bugfix in deploy.sh

---
 deploy.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deploy.sh b/deploy.sh
index 2af7f6a..da4a407 100755
--- a/deploy.sh
+++ b/deploy.sh
@@ -14,7 +14,7 @@ stack build
 # Kill previous process
 pkill javawlp
 # Backup previous log if it exists by appending it to a backup file.
-if [[ -f "$LOGPATH" ]]
+if [ -f "$LOGPATH" ]
 then
 	cat "$LOGPATH" >> "$BACKUPPATH"
 	rm "$LOGPATH"
-- 
GitLab