diff options
author | alonso <alonso@us.es> | 2010-10-24 10:20:24 +0000 |
---|---|---|
committer | alonso <alonso@us.es> | 2010-10-24 10:20:24 +0000 |
commit | c30b850d1bc0f11e0f7abaa569d1f10325c90795 (patch) | |
tree | ce7b1c7ebe7265a660e9ae9e49ddc32b1c5de3cb /admin/WebConsole | |
parent | 951e0892db15cff67e7189f25fbd9a8bba70ea32 (diff) |
git-svn-id: https://opengnsys.es/svn/trunk@1322 a21b9725-9963-47de-94b9-378ad31fedc9
Diffstat (limited to 'admin/WebConsole')
-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?>"> |