Révision 3184

tmp/org.txm.core/src/java/org/txm/core/results/TXMResult.java (revision 3184)
2487 2487
			
2488 2488
			// set result and its children as canceled
2489 2489
			this.resetComputingState();
2490
			this.computing = false;
2490 2491
			
2491 2492
			// console log
2492 2493
			String resultType = this.getResultType();

Formats disponibles : Unified diff