diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-11-11 19:24:19 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-11-11 19:24:19 +0000 |
| commit | 81ace9b58bf736e317b3a348a9bc724177479327 (patch) | |
| tree | e66e6c20d7b789e9e21258a5f87388edd291ba24 | |
| parent | 0b640c3d13c65a8b83ee4313827b5fc6a12e1936 (diff) | |
| download | RSAComb-81ace9b58bf736e317b3a348a9bc724177479327.tar.gz RSAComb-81ace9b58bf736e317b3a348a9bc724177479327.zip | |
Fix bug with data/query directories as CLI argument
| -rw-r--r-- | src/main/scala/uk/ac/ox/cs/rsacomb/RSAConfig.scala | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAConfig.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAConfig.scala index 1a4afd7..fe4b5f1 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAConfig.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAConfig.scala | |||
| @@ -128,9 +128,9 @@ object RSAConfig { | |||
| 128 | val query = getPath(_query) | 128 | val query = getPath(_query) |
| 129 | val files = | 129 | val files = |
| 130 | if (os.isFile(query)) | 130 | if (os.isFile(query)) |
| 131 | Seq(query) | 131 | List(query) |
| 132 | else if (os.isDir(query)) | 132 | else if (os.isDir(query)) |
| 133 | os.walk(query).filter(os.isFile) | 133 | os.walk(query).filter(os.isFile).toList |
| 134 | else | 134 | else |
| 135 | exit(s"'${_query}' is not a valid path.") | 135 | exit(s"'${_query}' is not a valid path.") |
| 136 | parse(tail, config += ('queries -> files)) | 136 | parse(tail, config += ('queries -> files)) |
| @@ -145,10 +145,10 @@ object RSAConfig { | |||
| 145 | val data = getPath(_data) | 145 | val data = getPath(_data) |
| 146 | val files = | 146 | val files = |
| 147 | if (os.isFile(data)) | 147 | if (os.isFile(data)) |
| 148 | Seq(data) | 148 | List(data) |
| 149 | else if (os.isDir(data)) | 149 | else if (os.isDir(data)) { |
| 150 | os.walk(data).filter(os.isFile) | 150 | os.walk(data).filter(os.isFile).toList |
| 151 | else | 151 | }else |
| 152 | exit(s"'${_data}' is not a valid path.") | 152 | exit(s"'${_data}' is not a valid path.") |
| 153 | parse(tail, config += ('data -> files)) | 153 | parse(tail, config += ('data -> files)) |
| 154 | } | 154 | } |