[web] Implemented canceling of outdated jobs

Signed-off-by: Miro Spönemann <miro.spoenemann@itemis.de>
This commit is contained in:
Miro Spönemann 2015-04-24 15:31:56 +02:00
parent 1910d44964
commit 6134bbcf6f

View file

@ -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)
}