Function stop_embed_server

core/embed_server.py:256–261

Stop the global embed server.

()

def stop_embed_server():
    """Stop the global embed server."""
    global _embed_server
    if _embed_server is not None:
        _embed_server.stop()
        _embed_server = None