From 3556fa01f07f64226055a1d22a05c97bc99481ee Mon Sep 17 00:00:00 2001 From: Steven Silvester Date: Tue, 7 Nov 2023 05:32:58 -0600 Subject: [PATCH] fix --- jupyter_server/extension/handler.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/jupyter_server/extension/handler.py b/jupyter_server/extension/handler.py index a84176cab1..55f5aff2c3 100644 --- a/jupyter_server/extension/handler.py +++ b/jupyter_server/extension/handler.py @@ -56,7 +56,7 @@ def extensionapp(self) -> ExtensionApp: @property def serverapp(self) -> ServerApp: key = "serverapp" - return cast(ServerApp, self.settings[key]) + return cast("ServerApp", self.settings[key]) @property def log(self) -> Logger: @@ -70,11 +70,11 @@ def log(self) -> Logger: @property def config(self) -> Config: - return cast(Config, self.settings[f"{self.name}_config"]) + return cast("Config", self.settings[f"{self.name}_config"]) @property def server_config(self) -> Config: - return cast(Config, self.settings["config"]) + return cast("Config", self.settings["config"]) @property def base_url(self) -> str: