equal
deleted
inserted
replaced
39 |
39 |
40 for cmd, entry in commands.table.items(): |
40 for cmd, entry in commands.table.items(): |
41 seenshort = globalshort.copy() |
41 seenshort = globalshort.copy() |
42 seenlong = globallong.copy() |
42 seenlong = globallong.copy() |
43 for option in entry[1]: |
43 for option in entry[1]: |
44 if (option[0] and option[0] in seenshort) or \ |
44 if ((option[0] and option[0] in seenshort) or |
45 (option[1] and option[1] in seenlong): |
45 (option[1] and option[1] in seenlong)): |
46 print("command '" + cmd + "' has duplicate option " + str(option)) |
46 print("command '" + cmd + "' has duplicate option " + str(option)) |
47 seenshort.add(option[0]) |
47 seenshort.add(option[0]) |
48 seenlong.add(option[1]) |
48 seenlong.add(option[1]) |