equal
deleted
inserted
replaced
74 except: |
74 except: |
75 sys.stderr.write("error: problem while filtering: %s\n" % str(e)) |
75 sys.stderr.write("error: problem while filtering: %s\n" % str(e)) |
76 traceback.print_exc() |
76 traceback.print_exc() |
77 sys.exit(1) |
77 sys.exit(1) |
78 |
78 |
79 the_raptor_errorCode = 0 |
|
80 |
79 |
81 # Print the summary (this can't return errors) |
80 # Print the summary (this can't return errors) |
82 the_raptor.out.summary() |
81 the_raptor.out.summary() |
83 |
82 |
84 if not the_raptor.out.close(): |
83 if not the_raptor.out.close(): |
85 print "BADCLOSE" |
|
86 the_raptor.errorCode = 2 |
84 the_raptor.errorCode = 2 |
87 |
85 |
88 # return the error code |
86 # return the error code |
89 sys.exit(the_raptor.errorCode) |
87 sys.exit(the_raptor.errorCode) |
90 |
88 |