general: create a pid file for dedicated server, refs #316