Extend ServerManager to emit process identifiers