diff options
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend | 3 |
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/GenerationTaskExecutor.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend index c9d38c7d..3e879539 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend | |||
@@ -41,6 +41,7 @@ class GenerationTaskExecutor { | |||
41 | def executeGenerationTask( | 41 | def executeGenerationTask( |
42 | GenerationTask task, | 42 | GenerationTask task, |
43 | ScriptExecutor scriptExecutor, | 43 | ScriptExecutor scriptExecutor, |
44 | ScriptConsole.Factory scriptConsoleFactory, | ||
44 | IProgressMonitor monitor) | 45 | IProgressMonitor monitor) |
45 | { | 46 | { |
46 | monitor.subTask('''Collecting all resources''') | 47 | monitor.subTask('''Collecting all resources''') |
@@ -62,7 +63,7 @@ class GenerationTaskExecutor { | |||
62 | val memoryLimit = scriptExecutor.getMemoryLimit(configSpecification) | 63 | val memoryLimit = scriptExecutor.getMemoryLimit(configSpecification) |
63 | 64 | ||
64 | // 2. create console | 65 | // 2. create console |
65 | val console = new ScriptConsole(true,false, | 66 | val console = scriptConsoleFactory.createScriptConsole(false, |
66 | if(messageFile!==null) URI.createURI(messageFile.path) else null, | 67 | if(messageFile!==null) URI.createURI(messageFile.path) else null, |
67 | if(debugFolder!==null) URI.createURI('''«debugFolder.path»/errors.txt''') else null, | 68 | if(debugFolder!==null) URI.createURI('''«debugFolder.path»/errors.txt''') else null, |
68 | if(statisticsFile!==null) URI.createURI(statisticsFile.path) else null | 69 | if(statisticsFile!==null) URI.createURI(statisticsFile.path) else null |