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 "-----------------"