[Mine-dev] Pequeños cambios en sala.py

[Andres Moya]

Hola.

He arreglado un problema con el merge de la clase sala.py. También he
visto que había un par de cosas un poco a medio hacer, y me ha dado el
punto y las he completado. De paso he cambiado el nombre del famoso
flag, creo que queda más descriptivo así (la clase Sala no tiene por qué
saber que existe un editor).

Gabi, he procurado hacerlo rápido para que no tengas que hacer otro
merge. Si has hecho algún cambio en el fichero desde que hiciste el
último commit, antes de hacer update contacta conmigo, para ver si
podemos verificar el merge y que no haya más fallos.

Salu2

-- 
Andrés Moya <address@hidden>

Omnis enim res, quae dando non deficit, dum habetur et non datur, nondum
habetur, quomodo habenda est (San Agustin, hablando de SW libre en el
siglo IV)