# HG changeset patch
# User Giulio Moro <giuliomoro@yahoo.it>
# Date 1466044930 -3600
# Node ID 4fb06ca94e021b1211037089b7b7c3fb43a9fd23
# Parent  a40ba6f91b1ecd56b6d74ade14594814751d0ea1
Unconditionally restarting IDE after update_board.sh

diff -r a40ba6f91b1e -r 4fb06ca94e02 scripts/update_board.sh
--- a/scripts/update_board.sh	Thu Jun 16 03:28:58 2016 +0100
+++ b/scripts/update_board.sh	Thu Jun 16 03:42:10 2016 +0100
@@ -76,7 +76,7 @@
 [ -z "$IDE_FOLDER" ] && IDE_FOLDER=$SCRIPTDIR/../../bela-ide/
 
 
-ssh $BBB_ADDRESS "stat $BBB_BELA_HOME &>/dev/null" && DESTINATION_EMPTY=0 || DESTINATION_EMPTY=1
+ssh $BBB_ADDRESS "date -s '`date`' > /dev/null; stat $BBB_BELA_HOME &>/dev/null" && DESTINATION_EMPTY=0 || DESTINATION_EMPTY=1
 
 if [ $DESTINATION_EMPTY -eq 0 ];
 then
@@ -149,7 +149,9 @@
   # run the IDE 
   ssh $BBB_ADDRESS "make -C $BBB_BELA_HOME --no-print-directory idestart"
 else
+  # run the IDE 
+  ssh $BBB_ADDRESS "make -C $BBB_BELA_HOME --no-print-directory idestart"
   echo \
-"Bela was installed on the board, but No IDE was found, so the IDE was not installed.
-You can get a copy of the IDE files from https://github.com/LBDonovan/bela-ide"
-fi;
+"Bela was installed on the board, but the IDE files were not found, so the IDE was not installed. If there was an older version of the IDE on the board, it is being restarted.
+You can get a copy of the most up-to-date IDE files from https://github.com/LBDonovan/bela-ide"
+fi