()
| 134 | ); |
| 135 | let disposed = false; |
| 136 | const dispose = () => { |
| 137 | if (disposed) return; |
| 138 | disposed = true; |
| 139 | const activeReader = reader; |
| 140 | reader = undefined; |
| 141 | if (activeReader) { |
| 142 | void activeReader |
| 143 | .cancel() |
| 144 | .catch(() => undefined) |
| 145 | .finally(() => activeReader.releaseLock()); |
| 146 | } |
| 147 | remote[Symbol.dispose]?.(); |
| 148 | }; |
| 149 | const handle = stream as WorkspaceRuntimeExecHandle<E>; |
| 150 | Object.defineProperties(handle, { |
| 151 | id: { value: id, enumerable: false }, |
no test coverage detected