# HG changeset patch
# User Giulio Moro <giuliomoro@yahoo.it>
# Date 1466595628 -3600
# Node ID ce5bb14c21fb8bb746277ff9e600bfa07cc3496b
# Parent  485913c58a611fd3e00e391956531f5c87ad24d1
update_board checks for board active at the beginning. ANY key is good for exiting

diff -r 485913c58a61 -r ce5bb14c21fb scripts/update_board
--- a/scripts/update_board	Wed Jun 22 04:58:17 2016 +0100
+++ b/scripts/update_board	Wed Jun 22 12:40:28 2016 +0100
@@ -97,6 +97,7 @@
 
 
 
+check_board_alive 
 # Check if destination folder exists
 # the StrictHostKeyChecking no should prevent the unkown host prompt
 ssh -o "StrictHostKeyChecking no" $BBB_ADDRESS stat $BBB_BELA_HOME &>/dev/null && DESTINATION_EMPTY=0 || DESTINATION_EMPTY=1
@@ -209,5 +210,5 @@
 
 [ $ALWAYS_YES -eq 1 ] && printf "\nCore setup complete.\n\n" || {
   printf '\nSetup complete, press any key to continue . . .\n\n'
-  read 
+  read -n 1
 }