3 if [ -f /etc/planetlab/plc_config ]; then
4 source /etc/planetlab/plc_config
12 HDIR=/home/${PLC_SLICE_PREFIX}_myops
18 if [ -f $FILE ] ; then
19 mod_time_before=`stat -c %Y $FILE`
26 # if bootstrap file has been updated
27 curl $CURL_ARGS -s -O --insecure https://$IP/$DIR/$FILE
29 if [ -f $FILE ] ; then
30 mod_time_after=`stat -c %Y $FILE`
35 if [[ $mod_time_after -gt $mod_time_before ]] ; then
36 # then an update occurred, and we need to unpack it.
38 chmod 755 ./*.sh ./*.py