Browse Source

use SERVER_NAME to set host and port in app.run() (#2152)

pull/1493/merge
Raphael Deem 8 years ago committed by David Lord
parent
commit
1636a4c410
  1. 16
      flask/app.py

16
flask/app.py

@ -825,14 +825,14 @@ class Flask(_PackageBoundObject):
information. information.
""" """
from werkzeug.serving import run_simple from werkzeug.serving import run_simple
if host is None: _host = '127.0.0.1'
host = '127.0.0.1' _port = 5000
if port is None: server_name = self.config.get("SERVER_NAME")
server_name = self.config['SERVER_NAME'] sn_host, sn_port = None, None
if server_name and ':' in server_name: if server_name:
port = int(server_name.rsplit(':', 1)[1]) sn_host, _, sn_port = server_name.partition(':')
else: host = host or sn_host or _host
port = 5000 port = int(port or sn_port or _port)
if debug is not None: if debug is not None:
self.debug = bool(debug) self.debug = bool(debug)
options.setdefault('use_reloader', self.debug) options.setdefault('use_reloader', self.debug)

Loading…
Cancel
Save