hazza/jupyterhub
1
0
Fork 0
mirror of https://github.com/jupyterhub/jupyterhub.git synced 2025-10-16 14:33:00 +00:00
Code Issues Packages Projects Releases Wiki Activity

Strip leading / and get server name

Browse Source
This commit is contained in:
Rollin Thomas
2019-03-26 08:17:39 -07:00
parent 0901fa255f
commit 6ff421061d
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
jupyterhub/handlers/base.py
View File

@@ -1202,7 +1202,7 @@ class UserUrlHandler(BaseHandler):
and self.current_user
and user_name == self.current_user.name
):
server_name = user_path.split('/', 2)[1]
server_name = user_path.lstrip('/').split('/', 1)[0]
if server_name not in self.current_user.orm_user.orm_spawners:
# no such server, assume default
server_name = ''
@@ -1292,7 +1292,7 @@ class UserUrlHandler(BaseHandler):
server_name = ''
if self.allow_named_servers:
# check if url prefix matches an existing server name
server_name = user_path.split("/", 2)[1]
server_name = user_path.lstrip('/').split('/', 1)[0]
if server_name not in user.orm_user.orm_spawners:
# not found, assume default server
server_name = ''