From 91a081672f05d6611b7d7a9f832695e863403c1d Mon Sep 17 00:00:00 2001 From: Steven Silvester Date: Sat, 2 Mar 2024 07:28:46 -0600 Subject: [PATCH] Use json5 typings (#441) --- jupyterlab_server/config.py | 2 +- jupyterlab_server/settings_utils.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/jupyterlab_server/config.py b/jupyterlab_server/config.py index 819debe..93c4abc 100644 --- a/jupyterlab_server/config.py +++ b/jupyterlab_server/config.py @@ -12,7 +12,7 @@ from os.path import join as pjoin from typing import Any -import json5 # type:ignore[import-untyped] +import json5 from jupyter_core.paths import SYSTEM_CONFIG_PATH, jupyter_config_dir, jupyter_path from jupyter_server.services.config.manager import ConfigManager, recursive_update from jupyter_server.utils import url_path_join as ujoin diff --git a/jupyterlab_server/settings_utils.py b/jupyterlab_server/settings_utils.py index 5bae738..5904b6c 100644 --- a/jupyterlab_server/settings_utils.py +++ b/jupyterlab_server/settings_utils.py @@ -9,7 +9,7 @@ from glob import glob from typing import Any -import json5 # type:ignore[import-untyped] +import json5 from jsonschema import Draft7Validator as Validator from jsonschema import ValidationError from jupyter_server import _tz as tz