diff --git a/Workbench/scripts/refresh-this-instance.sh b/Workbench/scripts/refresh-this-instance.sh index 8f6447e..fb84485 100755 --- a/Workbench/scripts/refresh-this-instance.sh +++ b/Workbench/scripts/refresh-this-instance.sh @@ -1,5 +1,7 @@ #!/bin/bash +. /etc/profile + DELETE_VOLUMES="false" if [[ $1 == "-dv" ]]; then diff --git a/Workbench/scripts/refreshListener.php b/Workbench/scripts/refreshListener.php index edd2b96..a1d3222 100644 --- a/Workbench/scripts/refreshListener.php +++ b/Workbench/scripts/refreshListener.php @@ -13,11 +13,11 @@ echo ' [x] Received ', $msg->body, "\n"; if ($msg->body == "REFRESH_THIS_INSTANCE") { echo "Received REFRESH message!\n"; - shell_exec( "/csp-tap/InCommonTAP-Examples/Workbench/scripts/refresh-this-instance.sh" ); + exec( "/csp-tap/InCommonTAP-Examples/Workbench/scripts/refresh-this-instance.sh" ); } if ($msg->body == "REFRESH_THIS_INSTANCE_DELETE_DATA") { echo "Received REFRESH-DELETE message!\n"; - shell_exec( "/csp-tap/InCommonTAP-Examples/Workbench/scripts/refresh-this-instance.sh -dv" ); + exec( "/csp-tap/InCommonTAP-Examples/Workbench/scripts/refresh-this-instance.sh -dv" ); } };