From f0137b21618b5f47c612d79e913c2032386bf05c Mon Sep 17 00:00:00 2001
From: Ziver Koc <ziver@koc.se>
Date: Thu, 16 Mar 2017 17:02:11 +0100
Subject: [PATCH] run.sh will kill previous hal session

---
 run.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/run.sh b/run.sh
index 1e235bc1..9f374dea 100755
--- a/run.sh
+++ b/run.sh
@@ -2,6 +2,9 @@
 
 ant clean
 ant release
+# Kill current session
+screen -S hal -X kill
+# Start new session
 screen -S hal -L -d -m ant run
 
 echo "-----------------"