Start-script: Refactored pid file handling. Fixes [bug 6516 (#6516)]. The start script now creates a lockfile in /var/run/ (if possible, otherwise in /tmp/), that is checked for presence before trusting the pids in the pid file. Since /var/run/ and /tmp/ are cleared on reboot this should protect against pid conflicts due to reuse. Rev: server/start:1.244