From fbcd6e5dfe409850201694f9fce85039cacaa659 Mon Sep 17 00:00:00 2001
From: Martin Aeschlimann <martinae@microsoft.com>
Date: Fri, 15 Dec 2017 13:02:57 +0100
Subject: [PATCH] [html] increase validationDelay

---
 extensions/html/server/src/htmlServerMain.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extensions/html/server/src/htmlServerMain.ts b/extensions/html/server/src/htmlServerMain.ts
index 2593ab4b147..e0077b6bfd7 100644
--- a/extensions/html/server/src/htmlServerMain.ts
+++ b/extensions/html/server/src/htmlServerMain.ts
@@ -168,7 +168,7 @@ connection.onDidChangeConfiguration((change) => {
 });
 
 let pendingValidationRequests: { [uri: string]: NodeJS.Timer } = {};
-const validationDelayMs = 200;
+const validationDelayMs = 500;
 
 // The content of a text document has changed. This event is emitted
 // when the text document first opened or when its content has changed.