(child: ChildProcessWithoutNullStreams, msg: unknown)
| 85 | } |
| 86 | |
| 87 | function sendMessage(child: ChildProcessWithoutNullStreams, msg: unknown): void { |
| 88 | try { child.stdin.write(JSON.stringify(msg) + '\n'); } catch { /* child may be gone */ } |
| 89 | } |
| 90 | |
| 91 | function sendInitialize(child: ChildProcessWithoutNullStreams, rootUri: string, id: number): void { |
| 92 | sendMessage(child, { |
no test coverage detected