* BUGFIX : Libero correctamente la memoria de los widgets

[z.facultad/75.06/emufs.git] / gui / form.c

diff --git a/gui/form.c b/gui/form.c
index cad80918923c615f17cca24763c11f5269be2931..44ad1e8c788abde332a9bd0855f64d02c71e4b22 100644 (file)
--- a/gui/form.c
+++ b/gui/form.c
@@ -162,8 +162,17 @@ t_Widget *widget_radio_create(t_Campo tipo, const char *nombre, unsigned int max
 
 void widget_free(t_Widget *w)
 {
+       int i;
        free(w->nombre);
-       free(w->valor);
+       switch (w->tipo) {
+               case INPUT:
+                       free(w->valor);
+               break;
+               case RADIO:
+                       for(i=0; i<w->max; i++)
+                               free(w->opciones[i]);
+                       free(w->opciones);
+       }
        free(w);
 }