equal
deleted
inserted
replaced
1200 |
1200 |
1201 return (cmd, i[0], args, options, cmdoptions) |
1201 return (cmd, i[0], args, options, cmdoptions) |
1202 |
1202 |
1203 def dispatch(args): |
1203 def dispatch(args): |
1204 signal.signal(signal.SIGTERM, catchterm) |
1204 signal.signal(signal.SIGTERM, catchterm) |
1205 if os.name != 'nt': |
1205 try: signal.signal(signal.SIGHUP, catchterm) |
1206 signal.signal(signal.SIGHUP, catchterm) |
1206 except: pass |
1207 |
1207 |
1208 try: |
1208 try: |
1209 cmd, func, args, options, cmdoptions = parse(args) |
1209 cmd, func, args, options, cmdoptions = parse(args) |
1210 except ParseError, inst: |
1210 except ParseError, inst: |
1211 u = ui.ui() |
1211 u = ui.ui() |