kill jetty.pid only if running