Log the cancellation request responses.

2025-11-18 17:21:48 +00:00 · 2020-02-28 12:19:34 -08:00
parent f1457c1c47
commit d10eedea4f
1 changed files with 17 additions and 1 deletions
@@ -915,7 +915,23 @@ namespace ts.server {
    let cancellationToken: ServerCancellationToken;
    try {
        const factory = require("./cancellationToken");
-        cancellationToken = factory(sys.args);
+        const original: ServerCancellationToken = factory(sys.args);
+        let request: number | undefined;
+        cancellationToken = logger.hasLevel(LogLevel.verbose) ? {
+            isCancellationRequested: () => {
+                const result = original.isCancellationRequested();
+                logger.info(`isCancellationRequested: ${request}: ${result}`);
+                return result;
+            },
+            setRequest: requestId => {
+                request = requestId;
+                original.setRequest(requestId);
+            },
+            resetRequest: requestId => {
+                request = undefined;
+                original.resetRequest(requestId);
+            }
+        } : original;
    }
    catch (e) {
        cancellationToken = nullCancellationToken;