Is there an easy way to manually restart pantsd? Trying to do some benchmarking

rm -r .pids/

will do it