aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptExecutor.xtend3
1 files changed, 2 insertions, 1 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptExecutor.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptExecutor.xtend
index 6037cfbf..04449a74 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptExecutor.xtend
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptExecutor.xtend
@@ -56,10 +56,11 @@ class ScriptExecutor {
56 public def executeScript(ConfigurationScript script, IProgressMonitor monitor) { 56 public def executeScript(ConfigurationScript script, IProgressMonitor monitor) {
57 script.activateAllEPackageReferences 57 script.activateAllEPackageReferences
58 val tasks = script.commands.filter(Task) 58 val tasks = script.commands.filter(Task)
59 val intermediateScriptConsole = new ScriptConsole(true,false,null,null,null)
59 60
60 for(taskIndex : 0..<tasks.size) { 61 for(taskIndex : 0..<tasks.size) {
61 if(taskIndex>0) { 62 if(taskIndex>0) {
62 restForMeasurements(null) 63 restForMeasurements(intermediateScriptConsole)
63 } 64 }
64 val task = tasks.get(taskIndex) 65 val task = tasks.get(taskIndex)
65 monitor.beginTask('''Executing task«IF tasks.size>1» «taskIndex+1»«ENDIF»: «task.name»''',task.totalWork) 66 monitor.beginTask('''Executing task«IF tasks.size>1» «taskIndex+1»«ENDIF»: «task.name»''',task.totalWork)