server/sources/native.py
changeset 10627 ffef8ac383f4
parent 10626 93f8d239c708
child 10646 45671fb330f5
--- a/server/sources/native.py	Tue Sep 29 15:15:03 2015 +0200
+++ b/server/sources/native.py	Tue Sep 29 15:49:10 2015 +0200
@@ -1405,7 +1405,7 @@
 CREATE INDEX entities_type_idx ON entities(type);;
 CREATE TABLE moved_entities (
   eid INTEGER PRIMARY KEY NOT NULL,
-  extid VARCHAR(256) UNIQUE
+  extid VARCHAR(256) UNIQUE NOT NULL
 );;
 
 CREATE TABLE transactions (