equal
deleted
inserted
replaced
2647 else: |
2647 else: |
2648 ui.status(_('listening at http://%s/\n') % addr) |
2648 ui.status(_('listening at http://%s/\n') % addr) |
2649 |
2649 |
2650 if opts['pid_file']: |
2650 if opts['pid_file']: |
2651 fp = open(opts['pid_file'], 'w') |
2651 fp = open(opts['pid_file'], 'w') |
2652 fp.write(str(os.getpid())) |
2652 fp.write(str(os.getpid()) + '\n') |
2653 fp.close() |
2653 fp.close() |
2654 |
2654 |
2655 if opts['daemon_pipefds']: |
2655 if opts['daemon_pipefds']: |
2656 rfd, wfd = [int(x) for x in opts['daemon_pipefds'].split(',')] |
2656 rfd, wfd = [int(x) for x in opts['daemon_pipefds'].split(',')] |
2657 os.close(rfd) |
2657 os.close(rfd) |