branch | stable |
changeset 7815 | 2a164a9cf81c |
parent 7510 | dd212db4d097 |
child 8801 | 86c1a5afbe4e |
--- a/doc/tools/pyjsrest.py Tue Sep 20 15:14:04 2011 +0200 +++ b/doc/tools/pyjsrest.py Wed Sep 21 17:38:00 2011 +0200 @@ -102,7 +102,7 @@ for fileid in INDEX_IN_ORDER: try: index.remove(fileid) - except: + except Exception: raise Exception( 'Bad file id %s referenced in INDEX_IN_ORDER in %s, ' 'fix this please' % (fileid, __file__))