From 434d96b7b8b78d6bce2c6809dda33750c33ec087 Mon Sep 17 00:00:00 2001
From: Paul Buetow <paul@buetow.org>
Date: Sat, 31 May 2008 04:10:56 +0000
Subject: renamings

---
 sources/core/VSTaskManager.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'sources/core/VSTaskManager.java')

diff --git a/sources/core/VSTaskManager.java b/sources/core/VSTaskManager.java
index 7d57eea..15d9eef 100644
--- a/sources/core/VSTaskManager.java
+++ b/sources/core/VSTaskManager.java
@@ -108,7 +108,7 @@ public class VSTaskManager {
                 globalTasks.poll();
                 redo = true;
 
-                if (process.isCrashed() && !task.isVSProcessRecoverEvent()) {
+                if (process.isCrashed() && !task.isProcessRecoverEvent()) {
                     if (task.isProgrammed())
                         fullfilledProgrammedTasks.add(task);
                     continue;
@@ -169,7 +169,7 @@ public class VSTaskManager {
                         redo = true;
 
                         if (process.isCrashed() &&
-                                !task.isVSProcessRecoverEvent()) {
+                                !task.isProcessRecoverEvent()) {
                             if (task.isProgrammed())
                                 fullfilledProgrammedTasks.add(task);
                             continue;
-- 
cgit v1.2.3