From 3b3d70ce5416fee098d19d0ac84e0f87f1dd2b58 Mon Sep 17 00:00:00 2001 From: Peter Cock Date: Thu, 16 Feb 2012 16:22:58 +0000 Subject: [PATCH] Not all datatype splitters write a JSON file --- scripts/extract_dataset_part.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scripts/extract_dataset_part.py b/scripts/extract_dataset_part.py index 99fb3583595..a87f5e82973 100644 --- a/scripts/extract_dataset_part.py +++ b/scripts/extract_dataset_part.py @@ -31,6 +31,9 @@ def __main__(): Argument: a JSON file """ file_path = sys.argv.pop( 1 ) + if not os.path.isfile(file_path): + #Nothing to do - some splitters don't write a JSON file + sys.exit(0) data = simplejson.load(open(file_path, 'r')) try: class_name_parts = data['class_name'].split('.')