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 975da665..69365add 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 | |||
@@ -28,6 +28,7 @@ import org.eclipse.emf.common.util.URI | |||
28 | import hu.bme.mit.inf.dslreasoner.workspace.URIBasedWorkspace | 28 | import hu.bme.mit.inf.dslreasoner.workspace.URIBasedWorkspace |
29 | import java.util.LinkedList | 29 | import java.util.LinkedList |
30 | import java.io.File | 30 | import java.io.File |
31 | import org.eclipse.ui.console.ConsolePlugin | ||
31 | 32 | ||
32 | class GenerationTaskExecutor { | 33 | class GenerationTaskExecutor { |
33 | val metamodelLoader = new MetamodelLoader | 34 | val metamodelLoader = new MetamodelLoader |
@@ -64,7 +65,7 @@ class GenerationTaskExecutor { | |||
64 | val memoryLimit = scriptExecutor.getMemoryLimit(configSpecification) | 65 | val memoryLimit = scriptExecutor.getMemoryLimit(configSpecification) |
65 | 66 | ||
66 | // 2. create console | 67 | // 2. create console |
67 | val console = new ScriptConsole(false,true,false, | 68 | val console = new ScriptConsole(true,false, |
68 | if(messageFile!==null) URI.createURI(messageFile.path) else null, | 69 | if(messageFile!==null) URI.createURI(messageFile.path) else null, |
69 | if(debugFolder!==null) URI.createURI('''«debugFolder.path»/errors.txt''') else null, | 70 | if(debugFolder!==null) URI.createURI('''«debugFolder.path»/errors.txt''') else null, |
70 | if(statisticsFile!==null) URI.createURI(statisticsFile.path) else null | 71 | if(statisticsFile!==null) URI.createURI(statisticsFile.path) else null |