Process files in command line order

diff --git a/python/scripts/ingest_ptp_json.py b/python/scripts/ingest_ptp_json.py
index 3346c0c2b55568828b3572f76087e3198d071bec..1104530ad9398baa5d9da4f05f8cb2820852b46c 100644 (file)
--- a/python/scripts/ingest_ptp_json.py
+++ b/python/scripts/ingest_ptp_json.py
@@ -11,7 +11,7 @@ import psycopg2
 arg_parser = argparse.ArgumentParser()
 arg_parser.add_argument("paths", metavar = "path", nargs = "+")
 args = arg_parser.parse_args()
-paths = set(map(pathlib.Path, args.paths))
+paths = list({pathlib.Path(a): None for a in args.paths}.keys())  # deduplicate
 
 
 # Fail fast if a path is wrong