o
    ¹i  ã                   @   s(   d Z ddlmZ dZG dd„ deƒZdS )zExtension config.é    )ÚConfigManagerÚjupyter_server_configc                   @   s:   e Zd ZdZefdd„Zedfdd„Zdd„ Zd	d
„ ZdS )ÚExtensionConfigManagerz¹A manager class to interface with Jupyter Server Extension config
    found in a `config.d` folder. It is assumed that all configuration
    files in this directory are JSON files.
    c                 C   s   |   |¡}|  di ¡  di ¡S )zIReturn the jpserver_extensions field from all
        config files found.Ú	ServerAppÚjpserver_extensions)Úget)ÚselfÚsection_nameÚdata© r   úZ/var/www/edux/Edux_v2/venv/lib/python3.10/site-packages/jupyter_server/extension/config.pyÚget_jpserver_extensions   s   
z.ExtensionConfigManager.get_jpserver_extensionsTc                 C   s*   |   |¡}z|| W S  ty   Y dS w )zIs the extension enabled?F)r   ÚKeyError)r   Únamer	   Úinclude_rootÚ
extensionsr   r   r   Úenabled   s   

ÿzExtensionConfigManager.enabledc                 C   ó    dd|diii}|   ||¡ dS )zEnable an extension by name.r   r   TN©Úupdate©r   r   r
   r   r   r   Úenable   ó   zExtensionConfigManager.enablec                 C   r   )zDisable an extension by name.r   r   FNr   r   r   r   r   Údisable    r   zExtensionConfigManager.disableN)	Ú__name__Ú
__module__Ú__qualname__Ú__doc__ÚDEFAULT_SECTION_NAMEr   r   r   r   r   r   r   r   r      s    r   N)r   Ú&jupyter_server.services.config.managerr   r   r   r   r   r   r   Ú<module>   s    