From 6134bbcf6f6ed25748d1209b9f9b39772c967a65 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Miro=20Sp=C3=B6nemann?= Date: Fri, 24 Apr 2015 15:31:56 +0200 Subject: [PATCH] [web] Implemented canceling of outdated jobs MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Miro Spönemann --- .../src/org/eclipse/xtext/resource/OutdatedStateManager.xtend | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/plugins/org.eclipse.xtext/src/org/eclipse/xtext/resource/OutdatedStateManager.xtend b/plugins/org.eclipse.xtext/src/org/eclipse/xtext/resource/OutdatedStateManager.xtend index 08df46546..df8506464 100644 --- a/plugins/org.eclipse.xtext/src/org/eclipse/xtext/resource/OutdatedStateManager.xtend +++ b/plugins/org.eclipse.xtext/src/org/eclipse/xtext/resource/OutdatedStateManager.xtend @@ -34,7 +34,7 @@ class OutdatedStateManager { /** * Created a fresh CancelIndicator */ - def CancelIndicator newCancelIndiciator(ResourceSet rs) { + def CancelIndicator newCancelIndicator(ResourceSet rs) { if (rs instanceof XtextResourceSet) { val boolean cancelationAllowed = this.cancelationAllowed.get val current = rs.modificationStamp @@ -64,7 +64,7 @@ class OutdatedStateManager { work.cancelIndicator = if (param === null) [ true ] else - param.resourceSet.newCancelIndiciator + param.resourceSet.newCancelIndicator } else { cancelationAllowed.set(false) }