aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/main/scala/uk/ac/ox/cs/rsacomb/RSAConfig.scala12
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 }