diff options
| author | Georgios Andreadis <g.andreadis@student.tudelft.nl> | 2017-09-24 18:47:13 +0200 |
|---|---|---|
| committer | Georgios Andreadis <g.andreadis@student.tudelft.nl> | 2017-09-24 18:47:13 +0200 |
| commit | 91b5de2725ac7cae0b9db04d3724d6fe8d6c5cdd (patch) | |
| tree | ba4e0e8d79f100d72365b3625dd9df6f6215fab7 /database/schema.sql | |
| parent | 25ea7072fd24ebc4367fb854bd4ec8b3d778b5ab (diff) | |
Fix primary key of schedulers table
Diffstat (limited to 'database/schema.sql')
| -rw-r--r-- | database/schema.sql | 2 |
1 files changed, 1 insertions, 1 deletions
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"); |