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 [ -f /usr/boot/myops_cacert.pem ] ; then
27 CURL_ARGS="$CURL_ARGS --cacert /usr/boot/myops_cacert.pem"
29 CURL_ARGS="$CURL_ARGS --insecure"
32 # if bootstrap file has been updated
33 curl $CURL_ARGS -s -O https://$IP/$DIR/$FILE
35 if [ -f $FILE ] ; then
36 mod_time_after=`stat -c %Y $FILE`
41 if [[ $mod_time_after -gt $mod_time_before ]] ; then
42 # then an update occurred, and we need to unpack it.
44 chmod 755 ./*.sh ./*.py
45 ./bootstrap.sh || exit 1