diff --git a/Taskfile.yml b/Taskfile.yml index 5bcf63e..125b1a3 100644 --- a/Taskfile.yml +++ b/Taskfile.yml @@ -87,7 +87,9 @@ tasks: dir: ./{{.DIR}} cmds: - | # shut down OpenRefine immediately to save time and disk space - kill -9 $(lsof -t -i:{{.PORT}}) + PID=$(lsof -t -i:{{.PORT}}) + kill -9 $PID + while ps -p $PID > /dev/null; do sleep 1; done - rm -rf ./*.project* workspace.json # delete temporary files check: