diff options
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend | 20 |
1 files changed, 12 insertions, 8 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend index 1d8c473f..030d2b9e 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend | |||
@@ -144,15 +144,19 @@ class ScriptConsole { | |||
144 | 144 | ||
145 | private def MessageConsole prepareRuntimeConsole() { | 145 | private def MessageConsole prepareRuntimeConsole() { |
146 | val plugin = ConsolePlugin.getDefault(); | 146 | val plugin = ConsolePlugin.getDefault(); |
147 | val conMan = plugin.getConsoleManager(); | 147 | if(plugin === null) { |
148 | val existingConsoles = conMan.getConsoles(); | 148 | return null |
149 | val existingConsolesWithID = existingConsoles.filter[it.name.equals(consoleID)] | ||
150 | if(existingConsolesWithID.empty) { | ||
151 | val MessageConsole res = new MessageConsole(consoleID,null) | ||
152 | conMan.addConsoles(#[res]); | ||
153 | return res | ||
154 | } else { | 149 | } else { |
155 | return existingConsolesWithID.head as MessageConsole | 150 | val conMan = plugin.getConsoleManager(); |
151 | val existingConsoles = conMan.getConsoles(); | ||
152 | val existingConsolesWithID = existingConsoles.filter[it.name.equals(consoleID)] | ||
153 | if(existingConsolesWithID.empty) { | ||
154 | val MessageConsole res = new MessageConsole(consoleID,null) | ||
155 | conMan.addConsoles(#[res]); | ||
156 | return res | ||
157 | } else { | ||
158 | return existingConsolesWithID.head as MessageConsole | ||
159 | } | ||
156 | } | 160 | } |
157 | } | 161 | } |
158 | 162 | ||