Update src/corppa/utils/filter.py

Co-authored-by: Laure Thompson <[email protected]>

src/corppa/utils/filter.py

@@ -128,7 +128,7 @@ def main():
         sys.exit(-1)
     elif os.path.getsize(args.idfile) == 0:
         print(f"Error: idfile {args.idfile} is empty")
-        exit(-1)
+        sys.exit(-1)
 
     # if requested output filename has no extension, add jsonl
     output_filename = args.output