Revision 2616

tmp/org.txm.core/src/java/org/txm/core/results/TXMResult.java (revision 2616)
2428 2428
					return false;
2429 2429
				}
2430 2430
				
2431
				// delete the monitor used by subclasses computation method
2432
				if (this.monitor != null) {
2433
					// this.monitor.done();
2434
					this.monitor = null;
2435
				}
2436
				
2431 2437
				// subMonitor.worked(1);
2432 2438
				
2433 2439
			}

Also available in: Unified diff