diff options
Diffstat (limited to 'admin/WebConsole/propiedades/propiedades_aulas.php')
| -rw-r--r-- | admin/WebConsole/propiedades/propiedades_aulas.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/admin/WebConsole/propiedades/propiedades_aulas.php b/admin/WebConsole/propiedades/propiedades_aulas.php index 72c61e98..e77efe11 100644 --- a/admin/WebConsole/propiedades/propiedades_aulas.php +++ b/admin/WebConsole/propiedades/propiedades_aulas.php @@ -60,7 +60,7 @@ else <INPUT type=hidden name=ordenadores value="<? echo $ordenadores?>"> <INPUT type=hidden name=gidmenu value="<? echo $gidmenu?>"> - <INPUT type=text name=gidprocedimiento value="<? echo $gidprocedimiento?>"> + <INPUT type=hidden name=gidprocedimiento value="<? echo $gidprocedimiento?>"> <INPUT type=hidden name=gidrepositorio value="<? echo $gidrepositorio?>"> <INPUT type=hidden name=gidperfilhard value="<? echo $gidperfilhard?>"> <INPUT type=hidden name=gcache value="<? echo $gcache?>"> |