From 91aac5399a344de20e6795cb6c35add571ed874d Mon Sep 17 00:00:00 2001 From: Benjamin Bohard Date: Mon, 16 Dec 2019 15:49:20 +0100 Subject: [PATCH] Add Distribution attributute to releases --- script/database_manager.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/script/database_manager.py b/script/database_manager.py index c980d65..9cba22c 100644 --- a/script/database_manager.py +++ b/script/database_manager.py @@ -15,10 +15,12 @@ CREATE TABLE Release ( ReleaseId SERIAL PRIMARY KEY, ReleaseName VARCHAR(255) NOT NULL, ReleaseSourceId INTEGER NOT NULL, + ReleaseDistribution VARCHAR(20) CONSTRAINT releasedistribution_choice CHECK (ReleaseDistribution IN ('dev', 'stable', 'maintained', 'deprecation-warning', 'deprecated')), UNIQUE (ReleaseName, ReleaseSourceId), FOREIGN KEY (ReleaseSourceId) REFERENCES Source(SourceId) ); + -- Création de la table Servermodel CREATE TABLE Servermodel ( ServermodelId SERIAL PRIMARY KEY,