From 3e5b272b80178be938e0b8f8b70b4941da05258b Mon Sep 17 00:00:00 2001 From: Rollin Thomas Date: Mon, 25 Mar 2019 14:50:39 -0700 Subject: [PATCH] Server name is second element --- jupyterhub/handlers/base.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/jupyterhub/handlers/base.py b/jupyterhub/handlers/base.py index b100d917..d571caec 100644 --- a/jupyterhub/handlers/base.py +++ b/jupyterhub/handlers/base.py @@ -1202,7 +1202,7 @@ class UserUrlHandler(BaseHandler): and self.current_user and user_name == self.current_user.name ): - server_name = user_path.split('/', 1)[0] + server_name = user_path.split('/', 2)[1] if server_name not in self.current_user.orm_user.orm_spawners: # no such server, assume default server_name = '' @@ -1293,7 +1293,7 @@ class UserUrlHandler(BaseHandler): if self.allow_named_servers: # check if url prefix matches an existing server name self.log.debug("user_path " + user_path) - server_name = user_path.split("/", 1)[0] + server_name = user_path.split("/", 2)[1] self.log.debug("server_name " + server_name) if server_name not in user.orm_user.orm_spawners: # not found, assume default server