;
                const data = await response.json()
                const extensions = data["load_extensions"];
                var ok = true;
                let needsInstall = [];
                libraries.forEach((library) => {
                    if (!checkLibrary(extensions, library)) {
                        ok = false;
                        needsInstall.push(library.python)
                        console.log("Needs install", library.python)
                    }
                })
              