equal
deleted
inserted
replaced
8 |
8 |
9 for s, l, d, c in options: |
9 for s, l, d, c in options: |
10 map['-'+s] = map['--'+l]=l |
10 map['-'+s] = map['--'+l]=l |
11 state[l] = d |
11 state[l] = d |
12 dt[l] = type(d) |
12 dt[l] = type(d) |
13 if not d is None and not callable(d): s, l=s+':', l+'=' |
13 if not d is None and not callable(d): s, l=s+':', l+'=' |
14 if s: short = short + s |
14 if s: short = short + s |
15 if l: long.append(l) |
15 if l: long.append(l) |
16 |
16 |
17 if os.environ.has_key("HG_OPTS"): |
17 if os.environ.has_key("HG_OPTS"): |
18 args = os.environ["HG_OPTS"].split() + args |
18 args = os.environ["HG_OPTS"].split() + args |