From ea5f39d6415e0371a37ae3dac6db3585ffe93fb2 Mon Sep 17 00:00:00 2001 From: martinRenou Date: Wed, 22 Jun 2022 15:10:40 +0200 Subject: [PATCH] Normalize os_path --- jupyter_server/utils.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jupyter_server/utils.py b/jupyter_server/utils.py index 33365c501c..0c772d38e9 100644 --- a/jupyter_server/utils.py +++ b/jupyter_server/utils.py @@ -111,7 +111,7 @@ def to_os_path(path, root=""): parts = path.strip("/").split("/") parts = [p for p in parts if p != ""] # remove duplicate splits path = os.path.join(root, *parts) - return path + return os.path.normpath(path) def to_api_path(os_path, root=""):