(data: string|Buffer)
| 225 | } |
| 226 | |
| 227 | private sendToConsole(data: string|Buffer) { |
| 228 | if (this.consoleSocket) { |
| 229 | this.consoleSocket.write(data); |
| 230 | } else { |
| 231 | // This can happen if the socket is already closed (extension quit while in a debug session) |
| 232 | console.error('sendToConsole: console not open. How did this happen?'); |
| 233 | } |
| 234 | } |
| 235 | |
| 236 | private disconnectConsole() { |
| 237 | try { |