title: <service-name> dead but pid file exists
body: <p>A service has crashed on my server and when I do </p>
  
  <pre><code>service &lt;service-name&gt; status
  </code></pre>
  
  <p>I get  dead but pid file exists, then if I try to stop the service I get </p>
  
  <pre><code>Shutdown &lt;service-name&gt;: bash: line 0: kill: (5018) - No such process
  ERROR: could not stop &lt;service-name&gt;:  &lt;service-name&gt; dead but pid file exists
  </code></pre>
  
  <p>Then I delete the files in /var/run//.pid and var/lock/subsys/ but it does not help.
  What should I do in order to really restart the service?</p>