From 9df6e76cc3afd94cee2c106375f49f9103906ff3 Mon Sep 17 00:00:00 2001
From: YuviPanda <yuvipanda@gmail.com>
Date: Mon, 13 Feb 2017 09:15:39 -0800
Subject: [PATCH] Make cookie_id be unique and not-null too

Fixes #985
---
 jupyterhub/orm.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jupyterhub/orm.py b/jupyterhub/orm.py
index 3d140fab..94d5be11 100644
--- a/jupyterhub/orm.py
+++ b/jupyterhub/orm.py
@@ -381,7 +381,7 @@ class User(Base):
     last_activity = Column(DateTime, default=datetime.utcnow)
 
     api_tokens = relationship("APIToken", backref="user")
-    cookie_id = Column(Unicode(1023), default=new_token)
+    cookie_id = Column(Unicode(1023), default=new_token, nullable=False, unique=True)
     # User.state is actually Spawner state
     # We will need to figure something else out if/when we have multiple spawners per user
     state = Column(JSONDict)