@@ -1034,8 +1034,7 @@ def enable_dev_tools(self,
1034
1034
dev_tools_hot_reload = None ,
1035
1035
dev_tools_hot_reload_interval = None ,
1036
1036
dev_tools_hot_reload_watch_interval = None ,
1037
- dev_tools_silence_routes_logging = None ,
1038
- ):
1037
+ dev_tools_silence_routes_logging = None ):
1039
1038
"""
1040
1039
Activate the dev tools, called by `run_server`. If your application is
1041
1040
served by wsgi and you want to activate the dev tools, you can call
@@ -1209,9 +1208,9 @@ def run_server(self,
1209
1208
host = flask_run_options .get ('host' , '127.0.0.1' )
1210
1209
ssl_context = flask_run_options .get ('ssl_context' )
1211
1210
self .logger .info (
1212
- 'Running on {} ://{}:{}{}' . format (
1213
- 'https' if ssl_context else 'http' ,
1214
- host , port , self .config .requests_pathname_prefix )
1211
+ 'Running on %s ://%s:%s%s' ,
1212
+ 'https' if ssl_context else 'http' ,
1213
+ host , port , self .config .requests_pathname_prefix
1215
1214
)
1216
1215
1217
1216
self .server .run (port = port , debug = debug ,
0 commit comments