a
    m b™  ã                   @   s$   d dl mZ dZG dd„ deƒZdS )é    )ÚConfigManagerZ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
   ú>lib/python3.9/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 0 dS )zIs the extension enabled?FN)r   ÚKeyError)r   Únamer   Zinclude_rootÚ
extensionsr
   r
   r   Úenabled   s
    

zExtensionConfigManager.enabledc                 C   s    dd|diii}|   ||¡ d S )Nr   r   T©Úupdate©r   r   r	   r
   r
   r   Úenable   s    zExtensionConfigManager.enablec                 C   s    dd|diii}|   ||¡ d S )Nr   r   Fr   r   r
   r
   r   Údisable   s    zExtensionConfigManager.disableN)	Ú__name__Ú
__module__Ú__qualname__Ú__doc__ÚDEFAULT_SECTION_NAMEr   r   r   r   r
   r
   r
   r   r      s
   r   N)Z&jupyter_server.services.config.managerr   r   r   r
   r
   r
   r   Ú<module>   s   