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

add a name field for the server

Browse Source
This commit is contained in:
Christian Barra
2017-01-18 17:14:22 +01:00
parent b47f76c037
commit a823a6b371
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
jupyterhub/orm.py
View File

@@ -64,6 +64,8 @@ class Server(Base):
"""
__tablename__ = 'servers'
id = Column(Integer, primary_key=True)
name = Column(Unicode(32), unique=True) # this is a unique reference to the server, probably a UUID4
proto = Column(Unicode(15), default='http')
ip = Column(Unicode(255), default='') # could also be a DNS name
port = Column(Integer, default=random_port)