Repaired bug where sheller depended upon server.log.lck file. Improved PID detection.