diff options
author | Nico Weber <nicolasweber@gmx.de> | 2017-03-10 22:42:27 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-03-10 22:42:27 (GMT) |
commit | 0b0374e831d9c050c6c9eb2ef48b73bc62a0f084 (patch) | |
tree | f04833f8bb5c1e1ca3fb67e2571b18b48b117355 /src | |
parent | fb3c70049b82d53101fc6086a1699ecf16966792 (diff) | |
parent | 8a32d21b674c144ac948e037d4eac64352f09849 (diff) | |
download | Ninja-0b0374e831d9c050c6c9eb2ef48b73bc62a0f084.zip Ninja-0b0374e831d9c050c6c9eb2ef48b73bc62a0f084.tar.gz Ninja-0b0374e831d9c050c6c9eb2ef48b73bc62a0f084.tar.bz2 |
Merge pull request #1255 from tchajed/bind-localhost
browse: Bind to localhost by default
Diffstat (limited to 'src')
-rwxr-xr-x | src/browse.py | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/browse.py b/src/browse.py index 4b4faa8..64a16f2 100755 --- a/src/browse.py +++ b/src/browse.py @@ -193,6 +193,8 @@ class RequestHandler(httpserver.BaseHTTPRequestHandler): parser = argparse.ArgumentParser(prog='ninja -t browse') parser.add_argument('--port', '-p', default=8000, type=int, help='Port number to use (default %(default)d)') +parser.add_argument('--hostname', '-a', default='localhost', type=str, + help='Hostname to bind to (default %(default)s)') parser.add_argument('--no-browser', action='store_true', help='Do not open a webbrowser on startup.') @@ -205,9 +207,11 @@ parser.add_argument('initial_target', default='all', nargs='?', args = parser.parse_args() port = args.port -httpd = httpserver.HTTPServer(('',port), RequestHandler) +hostname = args.hostname +httpd = httpserver.HTTPServer((hostname,port), RequestHandler) try: - hostname = socket.gethostname() + if hostname == "": + hostname = socket.gethostname() print('Web server running on %s:%d, ctl-C to abort...' % (hostname,port) ) print('Web server pid %d' % os.getpid(), file=sys.stderr ) if not args.no_browser: |