diff --git a/clearPid.sh b/clearPid.sh new file mode 100755 index 0000000..7e7502f --- /dev/null +++ b/clearPid.sh @@ -0,0 +1,5 @@ +#!/bin/bash + +if [ -f "./data/userdata/tmp/karaf.pid" ]; then + rm ./data/userdata/tmp/karaf.pid +fi