doc/tools/pyjsrest.py
branchstable
changeset 7815 2a164a9cf81c
parent 7510 dd212db4d097
child 8801 86c1a5afbe4e
equal deleted inserted replaced
7814:1ec9fe1dfba9 7815:2a164a9cf81c
   100 ''')
   100 ''')
   101     # first write expected files in order
   101     # first write expected files in order
   102     for fileid in INDEX_IN_ORDER:
   102     for fileid in INDEX_IN_ORDER:
   103         try:
   103         try:
   104             index.remove(fileid)
   104             index.remove(fileid)
   105         except:
   105         except Exception:
   106             raise Exception(
   106             raise Exception(
   107         'Bad file id %s referenced in INDEX_IN_ORDER in %s, '
   107         'Bad file id %s referenced in INDEX_IN_ORDER in %s, '
   108         'fix this please' % (fileid, __file__))
   108         'fix this please' % (fileid, __file__))
   109         stream.write('    %s\n' % fileid)
   109         stream.write('    %s\n' % fileid)
   110     # append remaining, by alphabetical order
   110     # append remaining, by alphabetical order