Changeset 1872 in josm for trunk/src/org/openstreetmap/josm/gui/progress

Timestamp:

2009-07-30T08:40:34+02:00 (15 years ago)

Author:

jttt

Message:

Fix #3130

File:

• trunk/src/org/openstreetmap/josm/gui/progress/AbstractProgressMonitor.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/gui/progress/AbstractProgressMonitor.java

@@ -19 +19 @@
         String extraText;
         Boolean intermediate;
+
+        boolean finishRequested;
     }
 
@@ -86 +88 @@
 
             if (state == State.IN_SUBTASK) {
-                // Make sure the subtask didn't start yet (once task start it must be finished)
-                boolean broken = currentChild.state != State.INIT;
-                for (Request request:requests) {
-                    broken = broken | request.originator.state != State.INIT;
-                }
-                if (broken) {
-                    throw new ProgressException("Cannot call finishTask when there are unfinished tasks");
-                } else {
-                    state = State.IN_TASK;
-                }
-            }
-
-            checkState(State.IN_TASK);
-            state = State.FINISHED;
-            doFinishTask();
+                requestedState.finishRequested = true;
+            } else {
+                checkState(State.IN_TASK);
+                state = State.FINISHED;
+                doFinishTask();
+            }
         }
     }
@@ -282 +275 @@
 
     private void applyThisRequest(Request request) {
-        if (request.customText != null) {
-            this.customText = request.customText;
-        }
-
-        if (request.title != null) {
-            this.taskTitle = request.title;
-        }
-
-        if (request.intermediate != null) {
-            this.intermediateTask = request.intermediate;
-        }
-
-        if (request.extraText != null) {
-            this.extraText = request.extraText;
-        }
-
-        resetState();
+        if (request.finishRequested) {
+            finishTask();
+        } else {
+            if (request.customText != null) {
+                this.customText = request.customText;
+            }
+
+            if (request.title != null) {
+                this.taskTitle = request.title;
+            }
+
+            if (request.intermediate != null) {
+                this.intermediateTask = request.intermediate;
+            }
+
+            if (request.extraText != null) {
+                this.extraText = request.extraText;
+            }
+
+            resetState();
+        }
     }