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

correct server name and base_url unique=True

Browse Source
This commit is contained in:
Christian Barra
2017-01-21 14:55:12 +01:00
parent a85bc5cad4
commit 5b85d1e248
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
jupyterhub/orm.py
View File

@@ -65,11 +65,11 @@ class Server(Base):
__tablename__ = 'servers' __tablename__ = 'servers'
id = Column(Integer, primary_key=True) id = Column(Integer, primary_key=True)
name = Column(Unicode(32), unique=True) # this is a unique reference to the server, probably a UUID4 name = Column(Unicode(32)) # must be unique between user's servers
proto = Column(Unicode(15), default='http') proto = Column(Unicode(15), default='http')
ip = Column(Unicode(255), default='') # could also be a DNS name ip = Column(Unicode(255), default='') # could also be a DNS name
port = Column(Integer, default=random_port) port = Column(Integer, default=random_port)
base_url = Column(Unicode(255), default='/') base_url = Column(Unicode(255), unique=True)
cookie_name = Column(Unicode(255), default='cookie') cookie_name = Column(Unicode(255), default='cookie')
# added to handle multi-server feature # added to handle multi-server feature