diff options
-rwxr-xr-x | demo/clean.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/demo/clean.sh b/demo/clean.sh index 6b809f6e83..99482e87d3 100755 --- a/demo/clean.sh +++ b/demo/clean.sh @@ -12,8 +12,8 @@ if [ -f $PID_FILE ]; then fi for port in 8080 8081 8082; do - rm -rf $DIR/$port + rm -rf ${DIR:?}/$port rm -rf $DIR/media_store.$port done -rm -rf $DIR/etc +rm -rf ${DIR:?}/etc |