# HG changeset patch
# User Giulio Moro <giuliomoro@yahoo.it>
# Date 1463505386 -3600
# Node ID 8fecfcbaf2f0fc5d91d691a7ec7ce47ae47d8e17
# Parent  8329f234d9149c2bcca0c324fbd37f9df19042fc
Re-introduced screen stop

diff -r 8329f234d914 -r 8fecfcbaf2f0 scripts/stop_running.sh
--- a/scripts/stop_running.sh	Tue May 17 17:42:49 2016 +0100
+++ b/scripts/stop_running.sh	Tue May 17 18:16:26 2016 +0100
@@ -3,9 +3,9 @@
 # This script stops the BeagleRT program running on the BeagleBone.
 
 BBB_ADDRESS="root@192.168.7.2"
-
+BBB_SCREEN_NAME="BeagleRT"
 # The first command should be sufficient to stop any BeagleRT run with
 # these scripts; the second will catch any leftovers run other ways
 
 BELA_AUDIO_THREAD_NAME=beaglert-audio 
-ssh $BBB_ADDRESS 'PID=`grep '"$BELA_AUDIO_THREAD_NAME"' /proc/xenomai/stat | cut -d " " -f 5 | sed s/\s//g`; if [ -z $PID ]; then printf ""; else echo "Killing old Bela process $PID"; kill -2 $PID; fi'
+ssh $BBB_ADDRESS 'screen -X -S '"$BBB_SCREEN_NAME"' quit > /dev/null; PID=`grep '"$BELA_AUDIO_THREAD_NAME"' /proc/xenomai/stat | cut -d " " -f 5 | sed s/\s//g`; if [ -z $PID ]; then printf ""; else echo "Killing old Bela process $PID"; kill -2 $PID; fi'