equal
deleted
inserted
replaced
1095 tr.close() |
1095 tr.close() |
1096 finally: |
1096 finally: |
1097 tr.release() |
1097 tr.release() |
1098 |
1098 |
1099 if tags: |
1099 if tags: |
1100 tagsf = repo.opener("localtags", "w") |
1100 repo.opener.write("localtags", "".join(tags)) |
1101 try: |
|
1102 tagsf.write("".join(tags)) |
|
1103 finally: |
|
1104 tagsf.close() |
|
1105 |
1101 |
1106 def debugcommands(ui, cmd='', *args): |
1102 def debugcommands(ui, cmd='', *args): |
1107 """list all available commands and options""" |
1103 """list all available commands and options""" |
1108 for cmd, vals in sorted(table.iteritems()): |
1104 for cmd, vals in sorted(table.iteritems()): |
1109 cmd = cmd.split('|')[0].strip('^') |
1105 cmd = cmd.split('|')[0].strip('^') |