original_docstring: 
      Runs the flask server, this is a daemon, so it exits when redirectd exits
      
docstring: Runs the flask server, this is a daemon, so it exits when redirectd exits
docstring_tokens: Runs the flask server this is a daemon so it exits when redirectd exits
code: def run_flask(ip, port, scribe_logger, exit_callback):
      """
      Runs the flask server, this is a daemon, so it exits when redirectd exits
      """
  
      app = setup_flask_server(scribe_logger)
  
      server = wsgiserver.WSGIServer(app, host=ip, port=port)
      try:
          server.start()
      finally:
          # When the flask server finishes running, do any other cleanup
          exit_callback()
code_tokens: def run_flask ( ip , port , scribe_logger , exit_callback ) : app = setup_flask_server ( scribe_logger ) server = wsgiserver . WSGIServer ( app , host = ip , port = port ) try : server . start ( ) finally : exit_callback ( )
short_docstring: Runs the flask server, this is a daemon, so it exits when redirectd exits
short_docstring_tokens: Runs the flask server this is a daemon so it exits when redirectd exits
comment: """
      Runs the flask server, this is a daemon, so it exits when redirectd exits
      """$SEP$# When the flask server finishes running, do any other cleanup