From 9f3d9b8c1f41b5649468bdcee355459a532d4246 Mon Sep 17 00:00:00 2001 From: Liam Fitzgerald Date: Mon, 13 Jan 2020 18:03:07 +1100 Subject: [PATCH] fix delay arg passing --- src/server.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/server.ts b/src/server.ts index 8085286..84738a2 100644 --- a/src/server.ts +++ b/src/server.ts @@ -112,7 +112,7 @@ class Server { onNotification(method: string, params: any[]) { logger.debug({ method, params }); if (method === "textDocument/didSave") { - wait(1000).then(() => { + wait(this.config.delay).then(() => { logger.debug("Delayed didSave"); this.poke(MARKS.NOTIFICATION, { jsonrpc: "2.0", method, params }); });