equal
deleted
inserted
replaced
18 if l: long.append(l) |
18 if l: long.append(l) |
19 |
19 |
20 opts, args = getopt.getopt(args, short, long) |
20 opts, args = getopt.getopt(args, short, long) |
21 |
21 |
22 for opt, arg in opts: |
22 for opt, arg in opts: |
23 if dt[map[opt]] is type(fancyopts): state[map[opt]](state,map[opt],arg) |
23 if dt[map[opt]] is type(fancyopts): state[map[opt]](state, map[opt], arg) |
24 elif dt[map[opt]] is type(1): state[map[opt]] = int(arg) |
24 elif dt[map[opt]] is type(1): state[map[opt]] = int(arg) |
25 elif dt[map[opt]] is type(''): state[map[opt]] = arg |
25 elif dt[map[opt]] is type(''): state[map[opt]] = arg |
26 elif dt[map[opt]] is type([]): state[map[opt]].append(arg) |
26 elif dt[map[opt]] is type([]): state[map[opt]].append(arg) |
27 elif dt[map[opt]] is type(None): state[map[opt]] = 1 |
27 elif dt[map[opt]] is type(None): state[map[opt]] = 1 |
28 |
28 |