"; echo "

Mapbender GUI list

"; echo "

"; if (count($arrayGUIs)>0){ $v = array(); $t = array(); $sql_list_guis = "SELECT DISTINCT gui_id,gui_name,gui_description FROM gui WHERE gui_id IN ("; for($i=0; $i0){$sql_list_guis .= ",";} $sql_list_guis .= "$".($i+1); array_push($v,$arrayGUIs[$i]); array_push($t,'s'); } $sql_list_guis .= ") ORDER BY gui_name"; $res_list_guis = db_prep_query($sql_list_guis,$v,$t); echo "

"; echo " $\"Logout\"$ "; echo "

"; echo ""; $cnt_list_guis = 0; while($row = db_fetch_array($res_list_guis)){ echo ""; echo ""; echo ""; echo ""; $cnt_list_guis++; } } else{ echo "" ; echo ""; echo "

GUI name	GUI description
".$row["gui_name"]."	".$row["gui_description"]."
"; echo " $\"Logout\"$ "; echo "
There are no guis available for this user

"; } echo ""; } ?>