fixup! Extend ServerManager to emit process identifiers