| changeset 4352 | afe1f9bc308a |
| parent 4252 | 6c4f109c2b03 |
| child 4556 | 43c14e0e8972 |
| 4351:619c7f9302fc | 4352:afe1f9bc308a |
|---|---|
248 |
248 |
249 |
249 |
250 def main_run(args, doc): |
250 def main_run(args, doc): |
251 """command line tool""" |
251 """command line tool""" |
252 try: |
252 try: |
253 base_main_run(args, doc) |
253 base_main_run(args, doc, copyright=None) |
254 except ConfigurationError, err: |
254 except ConfigurationError, err: |
255 print 'ERROR: ', err |
255 print 'ERROR: ', err |
256 sys.exit(1) |
256 sys.exit(1) |
257 except ExecutionError, err: |
257 except ExecutionError, err: |
258 print err |
258 print err |