From 91b5de2725ac7cae0b9db04d3724d6fe8d6c5cdd Mon Sep 17 00:00:00 2001 From: Georgios Andreadis Date: Sun, 24 Sep 2017 18:47:13 +0200 Subject: Fix primary key of schedulers table --- database/schema.sql | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/database/schema.sql b/database/schema.sql index c5e94ebe..6414cf24 100644 --- a/database/schema.sql +++ b/database/schema.sql @@ -136,7 +136,7 @@ CREATE TABLE IF NOT EXISTS sections ( -- Scheduler names CREATE TABLE IF NOT EXISTS schedulers ( - name TEXT PRIMARY KEY NOT NULL + name VARCHAR(50) PRIMARY KEY NOT NULL ); INSERT INTO schedulers (name) VALUES ("DEFAULT"); INSERT INTO schedulers (name) VALUES ("SRTF"); -- cgit v1.2.3