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 | 14 |
1 files changed, 9 insertions, 5 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 77c5252a..24f77754 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 | |||
@@ -90,12 +90,16 @@ class ScriptConsole implements Closeable { | |||
90 | } | 90 | } |
91 | 91 | ||
92 | private def prepareFile(URI uri) { | 92 | private def prepareFile(URI uri) { |
93 | val fileString = uri.toFileString | 93 | if (uri === null) { |
94 | val file = new File(fileString) | 94 | return null |
95 | if(this.cleanFiles && file.exists) { | 95 | } else { |
96 | file.delete | 96 | val fileString = uri.toFileString |
97 | val file = new File(fileString) | ||
98 | if (this.cleanFiles && file.exists) { | ||
99 | file.delete | ||
100 | } | ||
101 | return file | ||
97 | } | 102 | } |
98 | return file | ||
99 | } | 103 | } |
100 | 104 | ||
101 | override close() throws IOException { | 105 | override close() throws IOException { |