Function stop_embedded_repl

src/python/runner.cpp:990–1006

    }

    void stop_embedded_repl() {
        if (g_repl_running.load()) {
            const int rfd = g_repl_read_fd.load();
            const int wfd = g_repl_write_fd.load();
            if (rfd >= 0) {
                close_fd(rfd);
                g_repl_read_fd = -1;
            }
            if (wfd >= 0 && wfd != rfd) {
                close_fd(wfd);
                g_repl_write_fd = -1;
            }
        }
        if (g_repl_thread.joinable()) {
            g_repl_thread.join();
        }
    }

    void update_python_path() {
        const auto packages = get_user_packages_dir();