Inform the server when a Razor document is closed

Author: davidwengier

src/lsptoolshost/razor/htmlDocumentManager.ts

@@ -10,12 +10,22 @@ import { getUriPath } from '../../razor/src/uriPaths';
 import { virtualHtmlSuffix } from '../../razor/src/razorConventions';
 import { HtmlDocumentContentProvider } from './htmlDocumentContentProvider';
 import { HtmlDocument } from './htmlDocument';
+import { RoslynLanguageServer } from '../server/roslynLanguageServer';
+import { RequestType, TextDocumentIdentifier } from 'vscode-languageserver-protocol';
 
 export class HtmlDocumentManager {
     private readonly htmlDocuments: { [hostDocumentPath: string]: HtmlDocument } = {};
     private readonly contentProvider: HtmlDocumentContentProvider;
 
-    constructor(private readonly platformInfo: PlatformInformation, private readonly logger: RazorLogger) {
+    private readonly razorDocumentClosedRequest: RequestType<TextDocumentIdentifier, void, Error> = new RequestType(
+        'razor/documentClosed'
+    );
+
+    constructor(
+        private readonly platformInfo: PlatformInformation,
+        private readonly roslynLanguageServer: RoslynLanguageServer,
+        private readonly logger: RazorLogger
+    ) {
         this.contentProvider = new HtmlDocumentContentProvider(this, this.logger);
     }
 
@@ -37,7 +47,13 @@ export class HtmlDocumentManager {
 
                 await this.closeDocument(document.uri);
 
-                // TODO: Send a notification back to the server so it can cancel any pending sync requests and clear its cache.
+                // We don't care about the response, but Razor cohosting can't currently do notifications with documents
+                // so making it a request means the logs end up in the right place.
+                await this.roslynLanguageServer.sendRequest(
+                    this.razorDocumentClosedRequest,
+                    TextDocumentIdentifier.create(getUriPath(document.uri)),
+                    new vscode.CancellationTokenSource().token
+                );
             }
         });
 

src/lsptoolshost/razor/razorEndpoints.ts

@@ -76,7 +76,7 @@ export function registerRazorEndpoints(
     // Local Functions
     //
     function registerCohostingEndpoints() {
-        const documentManager = new HtmlDocumentManager(platformInfo, razorLogger);
+        const documentManager = new HtmlDocumentManager(platformInfo, roslynLanguageServer, razorLogger);
         const reportIssueCommand = new ReportIssueCommand(vscode, undefined, documentManager, razorLogger);
         context.subscriptions.push(documentManager.register());
         context.subscriptions.push(reportIssueCommand.register());