extensions/debug-server-ready/src/extension.ts/ServerReadyDetector/rememberShellPid
class ServerReadyDetector:	static rememberShellPid(session: vscode.DebugSession, pid: number) {
		let detector = ServerReadyDetector.detectors.get(session);
		if (detector) {
			detector.shellPid = pid;
		}
	}