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 { |