Poner nombre más lindo al thread finalizador :)

[software/sercom.git] / sercom / model.py

diff --git a/sercom/model.py b/sercom/model.py
index a9ef27b56c76809bdecba1836082f9b3847aac9e..0c65864e9ad7c1c79eec4986c56fc3e47e8abeb4 100644 (file)
--- a/sercom/model.py
+++ b/sercom/model.py
@@ -17,6 +17,7 @@ __all__ = ('Curso', 'Usuario', 'Docente', 'Alumno', 'CasoDePrueba')
 
 #{{{ Custom Columns
 
 
 #{{{ Custom Columns
 

+# TODO Esto debería implementarse con CSV para mayor legibilidad

 class TupleValidator(PickleValidator):
     """
     Validator for tuple types.  A tuple type is simply a pickle type
 class TupleValidator(PickleValidator):
     """
     Validator for tuple types.  A tuple type is simply a pickle type


@@ -74,7 +75,7 @@ class Curso(SQLObject): #{{{
         for d in docentes:
             self.add_docente(d)
         for (n, e) in enumerate(ejercicios):
         for d in docentes:
             self.add_docente(d)
         for (n, e) in enumerate(ejercicios):

-            self.add_ejercicio(n, e)
+            self.add_ejercicio(n+1, e)

         for a in alumnos:
             self.add_alumno(a)
 
         for a in alumnos:
             self.add_alumno(a)
 


@@ -154,7 +155,8 @@ class Curso(SQLObject): #{{{
 
 class Usuario(InheritableSQLObject): #{{{
     # Clave (para docentes puede ser un nombre de usuario arbitrario)
 
 class Usuario(InheritableSQLObject): #{{{
     # Clave (para docentes puede ser un nombre de usuario arbitrario)

-    usuario         = UnicodeCol(length=10, alternateID=True)
+    usuario         = UnicodeCol(length=10, alternateID=True,
+                        alternateMethodName='by_usuario')

     # Campos
     contrasenia     = UnicodeCol(length=255, default=None)
     nombre          = UnicodeCol(length=255, notNone=True)
     # Campos
     contrasenia     = UnicodeCol(length=255, default=None)
     nombre          = UnicodeCol(length=255, notNone=True)


@@ -186,6 +188,10 @@ class Usuario(InheritableSQLObject): #{{{
     def _get_user_name(self): # para identity
         return self.usuario
 
     def _get_user_name(self): # para identity
         return self.usuario
 

+    @classmethod
+    def byUsuario(cls, usuario): # TODO eliminar, backward compat
+        return cls.by_usuario(usuario)
+

     @classmethod
     def by_user_name(cls, user_name): # para identity
         user = cls.byUsuario(user_name)
     @classmethod
     def by_user_name(cls, user_name): # para identity
         user = cls.byUsuario(user_name)


@@ -220,10 +226,10 @@ class Usuario(InheritableSQLObject): #{{{
 class Docente(Usuario): #{{{
     _inheritable = False
     # Campos
 class Docente(Usuario): #{{{
     _inheritable = False
     # Campos

-    nombrado    = BoolCol(notNone=True, default=True)
+    nombrado        = BoolCol(notNone=True, default=True)

     # Joins
     # Joins

-    enunciados  = MultipleJoin('Enunciado', joinColumn='autor_id')
-    cursos      = MultipleJoin('DocenteInscripto')
+    enunciados      = MultipleJoin('Enunciado', joinColumn='autor_id')
+    inscripciones   = MultipleJoin('DocenteInscripto')

 
     def add_entrega(self, instancia, **kw):
         return Entrega(instancia=instancia, **kw)
 
     def add_entrega(self, instancia, **kw):
         return Entrega(instancia=instancia, **kw)


@@ -265,9 +271,13 @@ class Alumno(Usuario): #{{{
         self.usuario = padron
 
     @classmethod
         self.usuario = padron
 
     @classmethod

-    def byPadron(cls, padron):
+    def byPadron(cls, padron): # TODO eliminar, backward compat

         return cls.byUsuario(unicode(padron))
 
         return cls.byUsuario(unicode(padron))
 

+    @classmethod
+    def by_padron(cls, padron):
+        return cls.by_usuario(unicode(padron))
+

     def __repr__(self):
         return 'Alumno(id=%s, padron=%s, nombre=%s, password=%s, email=%s, ' \
             'telefono=%s, activo=%s, creado=%s, observaciones=%s)' \
     def __repr__(self):
         return 'Alumno(id=%s, padron=%s, nombre=%s, password=%s, email=%s, ' \
             'telefono=%s, activo=%s, creado=%s, observaciones=%s)' \


@@ -280,8 +290,6 @@ class Tarea(InheritableSQLObject): #{{{
     nombre              = UnicodeCol(length=30, alternateID=True)
     # Campos
     descripcion         = UnicodeCol(length=255, default=None)
     nombre              = UnicodeCol(length=30, alternateID=True)
     # Campos
     descripcion         = UnicodeCol(length=255, default=None)

-    terminar_si_falla   = BoolCol(notNone=True, default=True)
-    rechazar_si_falla   = BoolCol(notNone=True, default=True)

     # Joins
     enunciados          = RelatedJoin('Enunciado', addRemoveName='_enunciado')
 
     # Joins
     enunciados          = RelatedJoin('Enunciado', addRemoveName='_enunciado')
 


@@ -293,6 +301,7 @@ class Tarea(InheritableSQLObject): #{{{
 #}}}
 
 class TareaFuente(Tarea): #{{{
 #}}}
 
 class TareaFuente(Tarea): #{{{

+    _inheritable = False

     # Joins
     comandos    = MultipleJoin('ComandoFuente', joinColumn='tarea_id')
 
     # Joins
     comandos    = MultipleJoin('ComandoFuente', joinColumn='tarea_id')
 


@@ -308,11 +317,12 @@ class TareaFuente(Tarea): #{{{
 #}}}
 
 class TareaPrueba(Tarea): #{{{
 #}}}
 
 class TareaPrueba(Tarea): #{{{

+    _inheritable = False

     # Joins
     comandos    = MultipleJoin('ComandoPrueba', joinColumn='tarea_id')
 
     # Joins
     comandos    = MultipleJoin('ComandoPrueba', joinColumn='tarea_id')
 

-    def add_comando(self, orden, **kw):
-        return ComandoPrueba(tarea=self, orden=orden, comando='', **kw)
+    def add_comando(self, orden, comando='', **kw):
+        return ComandoPrueba(tarea=self, orden=orden, comando=comando, **kw)

 
     def remove_comando(self, orden):
         ComandoPrueba.pk.get(self.id, orden).destroySelf()
 
     def remove_comando(self, orden):
         ComandoPrueba.pk.get(self.id, orden).destroySelf()


@@ -323,12 +333,19 @@ class TareaPrueba(Tarea): #{{{
 #}}}
 
 class Comando(InheritableSQLObject): #{{{
 #}}}
 
 class Comando(InheritableSQLObject): #{{{

+    # Tipos de retorno especiales

     RET_ANY = None
     RET_ANY = None

-    RET_FAIL = -1
+    RET_FAIL = -256
+    # Archivos especiales
+    STDIN = '__stdin__'
+    STDOUT = '__stdout__'
+    STDERR = '__stderr__'
+    STDOUTERR = '__stdouterr__'

     # Campos
     comando             = UnicodeCol(length=255, notNone=True)
     descripcion         = UnicodeCol(length=255, default=None)
     # Campos
     comando             = UnicodeCol(length=255, notNone=True)
     descripcion         = UnicodeCol(length=255, default=None)

-    retorno             = IntCol(default=None) # None es que no importa
+    retorno             = IntCol(default=None) # Ver RET_XXX y si es negativo
+                                               # se espera una señal

     max_tiempo_cpu      = IntCol(default=None) # En segundos
     max_memoria         = IntCol(default=None) # En MB
     max_tam_archivo     = IntCol(default=None) # En MB
     max_tiempo_cpu      = IntCol(default=None) # En segundos
     max_memoria         = IntCol(default=None) # En MB
     max_tam_archivo     = IntCol(default=None) # En MB


@@ -337,10 +354,30 @@ class Comando(InheritableSQLObject): #{{{
     max_locks_memoria   = IntCol(default=None)
     terminar_si_falla   = BoolCol(notNone=True, default=True)
     rechazar_si_falla   = BoolCol(notNone=True, default=True)
     max_locks_memoria   = IntCol(default=None)
     terminar_si_falla   = BoolCol(notNone=True, default=True)
     rechazar_si_falla   = BoolCol(notNone=True, default=True)

+    publico             = BoolCol(notNone=True, default=True)

     archivos_entrada    = BLOBCol(default=None) # ZIP con archivos de entrada
     archivos_entrada    = BLOBCol(default=None) # ZIP con archivos de entrada

-                                                # stdin es caso especial
-    archivos_salida     = BLOBCol(default=None) # ZIP con archivos de salida
-                                                # stdout y stderr son especiales
+                                                # __stdin__ es caso especial
+                                                # Si un caso de prueba tiene
+                                                # comandos que tiene algún
+                                                # archivo de entrada (incluyendo
+                                                # stdin) con los propios, se usa
+                                                # el archivo del caso de prueba,
+                                                # no del comando.
+    archivos_a_comparar = BLOBCol(default=None) # ZIP con archivos de salida
+                                                # __stdout__, __stderr__ y
+                                                # __stdouterr__ (ambos juntos)
+                                                # son casos especiales
+                                                # Si un caso de prueba tiene
+                                                # comandos que tiene algún
+                                                # archivo a comparar (incluyendo
+                                                # stdout/err) con los propios,
+                                                # se compara contra el archivo
+                                                # del caso de prueba, no del
+                                                # comando.
+    archivos_a_guardar  = TupleCol(notNone=True, default=()) # TODO FrozenSetCol
+                                                # __stdout__, __stderr__ y
+                                                # __stdouterr__ (ambos juntos)
+                                                # son casos especiales

     activo              = BoolCol(notNone=True, default=True)
 
     def __repr__(self, clave='', mas=''):
     activo              = BoolCol(notNone=True, default=True)
 
     def __repr__(self, clave='', mas=''):


@@ -353,13 +390,14 @@ class Comando(InheritableSQLObject): #{{{
                     self.max_memoria, self.max_tam_archivo,
                     self.max_cant_archivos, self.max_cant_procesos,
                     self.max_locks_memoria, self.terminar_si_falla,
                     self.max_memoria, self.max_tam_archivo,
                     self.max_cant_archivos, self.max_cant_procesos,
                     self.max_locks_memoria, self.terminar_si_falla,

-                    self.rechazar_si_falla))
+                    self.rechazar_si_falla, mas))

 
     def shortrepr(self):
         return '%s (%s)' % (self.comando, self.descripcion)
 #}}}
 
 class ComandoFuente(Comando): #{{{
 
     def shortrepr(self):
         return '%s (%s)' % (self.comando, self.descripcion)
 #}}}
 
 class ComandoFuente(Comando): #{{{

+    _inheritable = False

     # Clave
     tarea       = ForeignKey('TareaFuente', notNone=True, cascade=True)
     orden       = IntCol(notNone=True)
     # Clave
     tarea       = ForeignKey('TareaFuente', notNone=True, cascade=True)
     orden       = IntCol(notNone=True)


@@ -374,7 +412,8 @@ class ComandoFuente(Comando): #{{{
 #}}}
 
 class ComandoPrueba(Comando): #{{{
 #}}}
 
 class ComandoPrueba(Comando): #{{{

-    RET_PRUEBA = -2 # Espera el mismo retorno que el de la prueba.
+    _inheritable = False
+    RET_PRUEBA = -257 # Espera el mismo retorno que el de la prueba.

     # XXX todos los campos de limitación en este caso son multiplicadores para
     # los valores del caso de prueba.
     # Clave
     # XXX todos los campos de limitación en este caso son multiplicadores para
     # los valores del caso de prueba.
     # Clave


@@ -383,7 +422,7 @@ class ComandoPrueba(Comando): #{{{
     pk                  = DatabaseIndex(tarea, orden, unique=True)
 
     def __repr__(self):
     pk                  = DatabaseIndex(tarea, orden, unique=True)
 
     def __repr__(self):

-        return super(ComandoFuente, self).__repr__('tarea=%s, orden=%s'
+        return super(ComandoPrueba, self).__repr__('tarea=%s, orden=%s'

             % (self.tarea.shortrepr(), self.orden))
 
     def shortrepr(self):
             % (self.tarea.shortrepr(), self.orden))
 
     def shortrepr(self):


@@ -400,9 +439,7 @@ class Enunciado(SQLObject): #{{{
     descripcion     = UnicodeCol(length=255, default=None)
     autor           = ForeignKey('Docente', cascade='null')
     creado          = DateTimeCol(notNone=True, default=DateTimeCol.now)
     descripcion     = UnicodeCol(length=255, default=None)
     autor           = ForeignKey('Docente', cascade='null')
     creado          = DateTimeCol(notNone=True, default=DateTimeCol.now)

-    archivo         = BLOBCol(default=None)
-    archivo_name    = UnicodeCol(length=255, default=None)
-    archivo_type    = UnicodeCol(length=255, default=None)
+    archivos        = BLOBCol(default=None)

     # Joins
     ejercicios      = MultipleJoin('Ejercicio')
     casos_de_prueba = MultipleJoin('CasoDePrueba')
     # Joins
     ejercicios      = MultipleJoin('Ejercicio')
     casos_de_prueba = MultipleJoin('CasoDePrueba')


@@ -439,6 +476,7 @@ class Enunciado(SQLObject): #{{{
 #}}}
 
 class CasoDePrueba(Comando): #{{{
 #}}}
 
 class CasoDePrueba(Comando): #{{{

+    _inheritable = False

     # Clave
     enunciado           = ForeignKey('Enunciado', cascade=True)
     nombre              = UnicodeCol(length=40, notNone=True)
     # Clave
     enunciado           = ForeignKey('Enunciado', cascade=True)
     nombre              = UnicodeCol(length=40, notNone=True)


@@ -447,7 +485,7 @@ class CasoDePrueba(Comando): #{{{
     pruebas             = MultipleJoin('Prueba')
 
     def __repr__(self):
     pruebas             = MultipleJoin('Prueba')
 
     def __repr__(self):

-        return super(ComandoFuente, self).__repr__('enunciado=%s, nombre=%s'
+        return super(CasoDePrueba, self).__repr__('enunciado=%s, nombre=%s'

             % (srepr(self.enunciado), self.nombre))
 
     def shortrepr(self):
             % (srepr(self.enunciado), self.nombre))
 
     def shortrepr(self):


@@ -493,8 +531,9 @@ class InstanciaDeEntrega(SQLObject): #{{{
     # Campos
     inicio          = DateTimeCol(notNone=True)
     fin             = DateTimeCol(notNone=True)
     # Campos
     inicio          = DateTimeCol(notNone=True)
     fin             = DateTimeCol(notNone=True)

-    procesada       = BoolCol(notNone=True, default=False)
-    observaciones   = UnicodeCol(default=None)
+    inicio_proceso  = DateTimeCol(default=None)
+    fin_proceso     = DateTimeCol(default=None)
+    observaciones   = UnicodeCol(notNone=True, default=u'')

     activo          = BoolCol(notNone=True, default=True)
     # Joins
     entregas        = MultipleJoin('Entrega', joinColumn='instancia_id')
     activo          = BoolCol(notNone=True, default=True)
     # Joins
     entregas        = MultipleJoin('Entrega', joinColumn='instancia_id')


@@ -502,9 +541,10 @@ class InstanciaDeEntrega(SQLObject): #{{{
 
     def __repr__(self):
         return 'InstanciaDeEntrega(id=%s, numero=%s, inicio=%s, fin=%s, ' \
 
     def __repr__(self):
         return 'InstanciaDeEntrega(id=%s, numero=%s, inicio=%s, fin=%s, ' \

-            'procesada=%s, observaciones=%s, activo=%s)' \
+            'inicio_proceso=%s, fin_proceso=%s, observaciones=%s, activo=%s)' \

                 % (self.id, self.numero, self.inicio, self.fin,
                 % (self.id, self.numero, self.inicio, self.fin,

-                    self.procesada, self.observaciones, self.activo)
+                    self.inicio_proceso, self.fin_proceso, self.observaciones,
+                    self.activo)

 
     def shortrepr(self):
         return self.numero
 
     def shortrepr(self):
         return self.numero


@@ -601,7 +641,16 @@ class Grupo(Entregador): #{{{
     def add_miembro(self, alumno, **kw):
         if isinstance(alumno, AlumnoInscripto):
             alumno = alumno.id
     def add_miembro(self, alumno, **kw):
         if isinstance(alumno, AlumnoInscripto):
             alumno = alumno.id

-        return Miembro(grupo=self, alumnoID=alumno, **kw)
+        # FIXME acá habría que sacarle la unicidad a Miembro.pk para que
+        # un alumno pueda ser miembro varias veces del mismo grupo, de
+        # manera de tener la historia completa, pero hay que tener cuidad
+        # y arreglar todos los lugares donde se asume esa unicidad
+        try:
+            m = Miembro.selectBy(grupo=self, alumnoID=alumno).getOne()
+            m.baja = None # si ya existía, le sacamos la fecha de baja
+            return m
+        except SQLObjectNotFound: # creo uno nuevo
+            return Miembro(grupo=self, alumnoID=alumno, **kw)

 
     def remove_miembro(self, alumno):
         if isinstance(alumno, AlumnoInscripto):
 
     def remove_miembro(self, alumno):
         if isinstance(alumno, AlumnoInscripto):


@@ -612,7 +661,13 @@ class Grupo(Entregador): #{{{
     def add_tutor(self, docente, **kw):
         if isinstance(docente, DocenteInscripto):
             docente = docente.id
     def add_tutor(self, docente, **kw):
         if isinstance(docente, DocenteInscripto):
             docente = docente.id

-        return Tutor(grupo=self, docenteID=docente, **kw)
+        # FIXME ídem add_miembro()
+        try:
+            t = Tutor.selectBy(grupo=self, docenteID=docente).getOne()
+            t.baja = None # si ya existía, le sacamos la fecha de baja
+            return t
+        except SQLObjectNotFound: # creo uno nuevo
+            return Tutor(grupo=self, docenteID=docente, **kw)

 
     def remove_tutor(self, docente):
         if isinstance(docente, DocenteInscripto):
 
     def remove_tutor(self, docente):
         if isinstance(docente, DocenteInscripto):


@@ -626,6 +681,11 @@ class Grupo(Entregador): #{{{
                 % (self.id, self.nombre, srepr(self.responsable), self.nota,
                     self.nota_cursada, self.observaciones, self.activo)
 
                 % (self.id, self.nombre, srepr(self.responsable), self.nota,
                     self.nota_cursada, self.observaciones, self.activo)
 

+    @classmethod
+    def selectByAlumno(self, alumno):
+        return Miembro.select(AND(Miembro.q.alumnoID == AlumnoInscripto.q.id,
+                AlumnoInscripto.q.alumnoID == alumno.id, Miembro.q.baja == None))
+

     def shortrepr(self):
         return 'grupo:' + self.nombre
 #}}}
     def shortrepr(self):
         return 'grupo:' + self.nombre
 #}}}


@@ -644,10 +704,18 @@ class AlumnoInscripto(Entregador): #{{{
     membresias          = MultipleJoin('Miembro', joinColumn='alumno_id')
     entregas            = MultipleJoin('Entrega', joinColumn='alumno_id')
     correcciones        = MultipleJoin('Correccion', joinColumn='alumno_id')
     membresias          = MultipleJoin('Miembro', joinColumn='alumno_id')
     entregas            = MultipleJoin('Entrega', joinColumn='alumno_id')
     correcciones        = MultipleJoin('Correccion', joinColumn='alumno_id')

+    # Notas de la cursada
+    nota_practica       = DecimalCol(size=3, precision=1, default=None)
+    nota_final          = DecimalCol(size=3, precision=1, default=None)
+    nota_libreta        = DecimalCol(size=3, precision=1, default=None)

 
     def _get_nombre(self):
         return self.alumno.padron
 
 
     def _get_nombre(self):
         return self.alumno.padron
 

+    @classmethod
+    def selectByAlumno(self, alumno):
+        return AlumnoInscripto.select(AlumnoInscripto.q.alumnoID == alumno.id).getOne()
+

     def __repr__(self):
         return 'AlumnoInscripto(id=%s, alumno=%s, condicional=%s, nota=%s, ' \
             'nota_cursada=%s, tutor=%s, observaciones=%s, activo=%s)' \
     def __repr__(self):
         return 'AlumnoInscripto(id=%s, alumno=%s, condicional=%s, nota=%s, ' \
             'nota_cursada=%s, tutor=%s, observaciones=%s, activo=%s)' \


@@ -696,18 +764,27 @@ class Miembro(SQLObject): #{{{
         return '%s-%s' % (self.alumno.shortrepr(), self.grupo.shortrepr())
 #}}}
 
         return '%s-%s' % (self.alumno.shortrepr(), self.grupo.shortrepr())
 #}}}
 

-class Entrega(SQLObject): #{{{
+class Ejecucion(InheritableSQLObject): #{{{
+    # Campos
+    inicio          = DateTimeCol(default=None)
+    fin             = DateTimeCol(default=None)
+    exito           = IntCol(default=None)
+    observaciones   = UnicodeCol(notNone=True, default=u'')
+    archivos        = BLOBCol(default=None) # ZIP con archivos
+
+    def __repr__(self, clave='', mas=''):
+        return ('%s(%s inicio=%s, fin=%s, exito=%s, observaciones=%s%s)'
+            % (self.__class__.__name__, clave, self.inicio, self.fin,
+            self.exito, self.observaciones, mas))
+#}}}
+
+class Entrega(Ejecucion): #{{{
+    _inheritable = False

     # Clave
     instancia           = ForeignKey('InstanciaDeEntrega', notNone=True, cascade=False)
     entregador          = ForeignKey('Entregador', default=None, cascade=False) # Si es None era un Docente
     fecha               = DateTimeCol(notNone=True, default=DateTimeCol.now)
     pk                  = DatabaseIndex(instancia, entregador, fecha, unique=True)
     # Clave
     instancia           = ForeignKey('InstanciaDeEntrega', notNone=True, cascade=False)
     entregador          = ForeignKey('Entregador', default=None, cascade=False) # Si es None era un Docente
     fecha               = DateTimeCol(notNone=True, default=DateTimeCol.now)
     pk                  = DatabaseIndex(instancia, entregador, fecha, unique=True)

-    # Campos
-    archivos            = BLOBCol(notNone=True) # ZIP con fuentes de la entrega
-    correcta            = BoolCol(default=None) # None es que no se sabe qué pasó
-    inicio_tareas       = DateTimeCol(default=None) # Si es None no se procesó
-    fin_tareas          = DateTimeCol(default=None) # Si es None pero inicio no, se está procesando
-    observaciones       = UnicodeCol(notNone=True, default=u'')

     # Joins
     comandos_ejecutados = MultipleJoin('ComandoFuenteEjecutado')
     pruebas             = MultipleJoin('Prueba')
     # Joins
     comandos_ejecutados = MultipleJoin('ComandoFuenteEjecutado')
     pruebas             = MultipleJoin('Prueba')


@@ -730,12 +807,14 @@ class Entrega(SQLObject): #{{{
         # FIXME self.id, caso_de_prueba
         Prueba.pk.get(self.id, caso_de_prueba).destroySelf()
 
         # FIXME self.id, caso_de_prueba
         Prueba.pk.get(self.id, caso_de_prueba).destroySelf()
 

+    def make_correccion(self, corrector, **kw):
+        return Correccion(instancia=self.instancia, entregador=self.entregador,
+            entrega=self, corrector=corrector, **kw)
+

     def __repr__(self):
     def __repr__(self):

-        return 'Entrega(id=%s, instancia=%s, entregador=%s, fecha=%s, ' \
-            'correcta=%s, inicio_tareas=%s, fin_tareas=%s, observaciones=%s)' \
-                % (self.id, self.instancia.shortrepr(), srepr(self.entregador),
-                    self.fecha, self.inicio_tareas, self.fin_tareas,
-                    self.correcta, self.observaciones)
+        return super(Entrega, self).__repr__('instancia=%s, entregador=%s, '
+            'fecha=%s' % (self.instancia.shortrepr(), srepr(self.entregador),
+                self.fecha))

 
     def shortrepr(self):
         return '%s-%s-%s' % (self.instancia.shortrepr(),
 
     def shortrepr(self):
         return '%s-%s-%s' % (self.instancia.shortrepr(),


@@ -749,7 +828,7 @@ class Correccion(SQLObject): #{{{
     pk              = DatabaseIndex(instancia, entregador, unique=True)
     # Campos
     entrega         = ForeignKey('Entrega', notNone=True, cascade=False)
     pk              = DatabaseIndex(instancia, entregador, unique=True)
     # Campos
     entrega         = ForeignKey('Entrega', notNone=True, cascade=False)

-    corrector       = ForeignKey('DocenteInscripto', default=None, cascade='null')
+    corrector       = ForeignKey('DocenteInscripto', notNone=True, cascade=False)

     asignado        = DateTimeCol(notNone=True, default=DateTimeCol.now)
     corregido       = DateTimeCol(default=None)
     nota            = DecimalCol(size=3, precision=1, default=None)
     asignado        = DateTimeCol(notNone=True, default=DateTimeCol.now)
     corregido       = DateTimeCol(default=None)
     nota            = DecimalCol(size=3, precision=1, default=None)


@@ -772,20 +851,16 @@ class Correccion(SQLObject): #{{{
         return '%s,%s' % (self.entrega.shortrepr(), self.corrector.shortrepr())
 #}}}
 
         return '%s,%s' % (self.entrega.shortrepr(), self.corrector.shortrepr())
 #}}}
 

-class ComandoEjecutado(InheritableSQLObject): #{{{
+class ComandoEjecutado(Ejecucion): #{{{

     # Campos
     # Campos

-    inicio          = DateTimeCol(notNone=True, default=DateTimeCol.now)
-    fin             = DateTimeCol(default=None)
-    exito           = IntCol(default=None)
-    observaciones   = UnicodeCol(notNone=True, default=u'')
+    diferencias = BLOBCol(default=None) # ZIP con archivos guardados

 
     def __repr__(self, clave='', mas=''):
 
     def __repr__(self, clave='', mas=''):

-        return ('%s(%s inicio=%s, fin=%s, exito=%s, observaciones=%s%s)'
-            % (self.__class__.__name__, clave, self.inicio, self.fin,
-            self.exito, self.observaciones))
+        return super(ComandoEjecutado, self).__repr__(clave, mas)

 #}}}
 
 class ComandoFuenteEjecutado(ComandoEjecutado): #{{{
 #}}}
 
 class ComandoFuenteEjecutado(ComandoEjecutado): #{{{

+    _inheritable = False

     # Clave
     comando = ForeignKey('ComandoFuente', notNone=True, cascade=False)
     entrega = ForeignKey('Entrega', notNone=True, cascade=False)
     # Clave
     comando = ForeignKey('ComandoFuente', notNone=True, cascade=False)
     entrega = ForeignKey('Entrega', notNone=True, cascade=False)


@@ -797,10 +872,11 @@ class ComandoFuenteEjecutado(ComandoEjecutado): #{{{
                 self.entrega.shortrepr()))
 
     def shortrepr(self):
                 self.entrega.shortrepr()))
 
     def shortrepr(self):

-        return '%s-%s' % (self.tarea.shortrepr(), self.entrega.shortrepr())
+        return '%s-%s' % (self.comando.shortrepr(), self.entrega.shortrepr())

 #}}}
 
 class ComandoPruebaEjecutado(ComandoEjecutado): #{{{
 #}}}
 
 class ComandoPruebaEjecutado(ComandoEjecutado): #{{{

+    _inheritable = False

     # Clave
     comando = ForeignKey('ComandoPrueba', notNone=True, cascade=False)
     prueba  = ForeignKey('Prueba', notNone=True, cascade=False)
     # Clave
     comando = ForeignKey('ComandoPrueba', notNone=True, cascade=False)
     prueba  = ForeignKey('Prueba', notNone=True, cascade=False)


@@ -808,15 +884,16 @@ class ComandoPruebaEjecutado(ComandoEjecutado): #{{{
 
     def __repr__(self):
         return super(ComandoPruebaEjecutado, self).__repr__(
 
     def __repr__(self):
         return super(ComandoPruebaEjecutado, self).__repr__(

-            'comando=%s, entrega=%s' % (self.comando.shortrepr(),
-                self.entrega.shortrepr()))
+            'comando=%s, prueba=%s' % (self.comando.shortrepr(),
+                self.prueba.shortrepr()))

 
     def shortrepr(self):
 
     def shortrepr(self):

-        return '%s:%s:%s' % (self.tarea.shortrepr(), self.entrega.shortrepr(),
+        return '%s:%s:%s' % (self.tarea.shortrepr(), self.prueba.shortrepr(),

             self.caso_de_prueba.shortrepr())
 #}}}
 
 class Prueba(ComandoEjecutado): #{{{
             self.caso_de_prueba.shortrepr())
 #}}}
 
 class Prueba(ComandoEjecutado): #{{{

+    _inheritable = False

     # Clave
     entrega             = ForeignKey('Entrega', notNone=True, cascade=False)
     caso_de_prueba      = ForeignKey('CasoDePrueba', notNone=True, cascade=False)
     # Clave
     entrega             = ForeignKey('Entrega', notNone=True, cascade=False)
     caso_de_prueba      = ForeignKey('CasoDePrueba', notNone=True, cascade=False)