From 65ae7de42b8af68ce7e1ea4fb65436deeb2e3900 Mon Sep 17 00:00:00 2001 From: Philip Eisenlohr Date: Wed, 9 Feb 2011 09:18:21 +0000 Subject: [PATCH] fixed bug for missing file name --- processing/post/postResults | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/processing/post/postResults b/processing/post/postResults index 4659f679d..ca7147da7 100755 --- a/processing/post/postResults +++ b/processing/post/postResults @@ -654,7 +654,7 @@ bg.start() # --- sanity checks -if not file[0]: +if file == []: parser.print_help() parser.error('no file specified...')