From 81ace9b58bf736e317b3a348a9bc724177479327 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Thu, 11 Nov 2021 19:24:19 +0000
Subject: Fix bug with data/query directories as CLI argument

---
 src/main/scala/uk/ac/ox/cs/rsacomb/RSAConfig.scala | 12 ++++++------
 1 file 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 {
         val query = getPath(_query)
         val files =
           if (os.isFile(query))
-            Seq(query)
+            List(query)
           else if (os.isDir(query))
-            os.walk(query).filter(os.isFile)
+            os.walk(query).filter(os.isFile).toList
           else
             exit(s"'${_query}' is not a valid path.")
         parse(tail, config += ('queries -> files))
@@ -145,10 +145,10 @@ object RSAConfig {
         val data = getPath(_data)
         val files =
           if (os.isFile(data))
-            Seq(data)
-          else if (os.isDir(data))
-            os.walk(data).filter(os.isFile)
-          else
+            List(data)
+          else if (os.isDir(data)) {
+            os.walk(data).filter(os.isFile).toList
+          }else
             exit(s"'${_data}' is not a valid path.")
         parse(tail, config += ('data -> files))
       }
-- 
cgit v1.2.3