Bugfix (faltaba variable tiempo_cpu).

[software/sercom-old.git] / doc / schema.sql

diff --git a/doc/schema.sql b/doc/schema.sql
index 44b0504577c1267d74c1c300a79acdc6d5904539..9743ce609af6143ab2b5f7f9ba704f34e47e7431 100644 (file)
--- a/doc/schema.sql
+++ b/doc/schema.sql
@@ -65,6 +65,7 @@ CREATE TABLE entrega
     ejercicio_id    INTEGER NOT NULL,
     desde           DATE NOT NULL,
     hasta           DATE NOT NULL,
+    finalizada      BOOLEAN NOT NULL DEFAULT 1,
     UNIQUE          (curso_id, nro_ejercicio, entrega)
 );
 
@@ -79,7 +80,7 @@ CREATE TABLE caso_de_prueba
     activo          BOOLEAN NOT NULL DEFAULT 1,
     parametros      VARCHAR(255),
     codigo_retorno  INTEGER DEFAULT 0,
-    tiempo_cpu      INTEGER DEFAULT NULL,
+    tiempo_cpu      FLOAT DEFAULT NULL,
     UNIQUE          (ejercicio_id, nombre)
 );
 
@@ -97,7 +98,6 @@ CREATE TABLE intento
     inicio_pruebas  DATE,
     fin_pruebas     DATE,
     compila         BOOLEAN,
-    notificado      BOOLEAN NOT NULL DEFAULT 0,
     mail_respuesta  VARCHAR(150) NOT NULL,
     observaciones   VARCHAR(255),
     UNIQUE          (entrega_id, inscripto_id, llegada)