equal
deleted
inserted
replaced
1197 |
1197 |
1198 return (cmd, i[0], args, options, cmdoptions) |
1198 return (cmd, i[0], args, options, cmdoptions) |
1199 |
1199 |
1200 def dispatch(args): |
1200 def dispatch(args): |
1201 signal.signal(signal.SIGTERM, catchterm) |
1201 signal.signal(signal.SIGTERM, catchterm) |
|
1202 signal.signal(signal.SIGHUP, catchterm) |
1202 |
1203 |
1203 try: |
1204 try: |
1204 cmd, func, args, options, cmdoptions = parse(args) |
1205 cmd, func, args, options, cmdoptions = parse(args) |
1205 except ParseError, inst: |
1206 except ParseError, inst: |
1206 u = ui.ui() |
1207 u = ui.ui() |