[html] Request textDocument/rangeFormatting failed when pasting inside script tags. Fixes #35698

This commit is contained in:
Martin Aeschlimann
2017-11-20 11:01:51 +01:00
parent 93706d88c1
commit b520c8f1ca
7 changed files with 19 additions and 16 deletions

View File

@@ -16,7 +16,7 @@ export function getLanguageModelCache<T>(maxEntries: number, cleanupIntervalTime
let languageModels: { [uri: string]: { version: number, languageId: string, cTime: number, languageModel: T } } = {};
let nModels = 0;
let cleanupInterval = void 0;
let cleanupInterval: NodeJS.Timer | undefined = void 0;
if (cleanupIntervalTimeInSec > 0) {
cleanupInterval = setInterval(() => {
let cutoffTime = Date.now() - cleanupIntervalTimeInSec * 1000;