diff --git a/services/web/bin/run b/services/web/bin/run new file mode 100755 index 0000000000..699e3f68c6 --- /dev/null +++ b/services/web/bin/run @@ -0,0 +1,8 @@ +#!/bin/bash + +pushd .. +bin/run $* +RV=$? +popd + +exit $RV