- Pluginmanager: Corregido un bug durante la instalación que prevenía la creación de la base de datos de opciones
- Db_option: Corregido un bug que prevenía la recuperación del array de opciones
- Extdb (visual): Reordenadas las columnas del formulario de instalación; Formateado el cuadro de error; eliminada la opción de cerrar el cuadro de dialogo, porque causaba errores de sincronización
- Extdb: el sistema ahora comprueba si se puede establecer conexión a la base de datos y si la tabla existe. Se han añadido los errores pertinentes.
Ahora que extDB funciona, he reemplazado el código previo (que chequeaba manualmente las opciones), por una que usa las funciones integradas en pluginmanager y extDB.
Ahora que ya tenemos por lo menos un plugin core, hay que modificar el pluginmanager para que solo de el visto bueno de inicialización si todos los plugins core están instalados.