# HG changeset patch
# User jbe
# Date 1449178218 -3600
# Node ID 63af9100628cbf471f4a0fcb2c23eea21bf99fbc
# Parent  fb7ccc4933a8e6ce90631fa5cd33bfb69b47f5f6
Require "min_admission_time" to be smaller than or equal to "max_admission_time" in "policy" table

diff -r fb7ccc4933a8 -r 63af9100628c core.sql
--- a/core.sql	Thu Dec 03 22:09:25 2015 +0100
+++ b/core.sql	Thu Dec 03 22:30:18 2015 +0100
@@ -387,6 +387,7 @@
         CONSTRAINT "timing" CHECK (
           ( "polling" = FALSE AND
             "min_admission_time" NOTNULL AND "max_admission_time" NOTNULL AND
+            "min_admission_time" <= "max_admission_time" AND
             "discussion_time" NOTNULL AND
             "verification_time" NOTNULL AND
             "voting_time" NOTNULL ) OR
diff -r fb7ccc4933a8 -r 63af9100628c update/core-update.v3.0.5-v3.1.0.sql
--- a/update/core-update.v3.0.5-v3.1.0.sql	Thu Dec 03 22:09:25 2015 +0100
+++ b/update/core-update.v3.0.5-v3.1.0.sql	Thu Dec 03 22:30:18 2015 +0100
@@ -19,6 +19,7 @@
 ALTER TABLE "policy" ADD CONSTRAINT "timing" CHECK (
   ( "polling" = FALSE AND
     "min_admission_time" NOTNULL AND "max_admission_time" NOTNULL AND
+    "min_admission_time" <= "max_admission_time"
     "discussion_time" NOTNULL AND
     "verification_time" NOTNULL AND
     "voting_time" NOTNULL ) OR