";
echo "";
if (count($ownguis)>0){
echo"GUI";
echo" ";
$v = array();
$t = array();
$sql = "SELECT * FROM gui WHERE gui_id IN (";
for($i=0; $i0){ $sql .= ",";}
$sql .= "$".($i+1);
array_push($v,$ownguis[$i]);
array_push($t,'s');
}
$sql .= ") ORDER BY gui_name";
$res = db_prep_query($sql,$v,$t);
echo"";
while($row = db_fetch_array($res)){
echo "".$row["gui_name"]." ";
}
$arrayGUIs=$_SESSION["mb_user_guis"];
echo count($arrayGUIs);
echo " ";
echo " ";
echo "";
echo"WMS";
echo" ";
if(isset($guiList) && $guiList!=""){
$sql = "SELECT DISTINCT wms.wms_title,gui_wms_position from gui_wms JOIN ";
$sql .= "gui on gui_wms.fkey_gui_id = gui.gui_id JOIN wms ON gui_wms.fkey_wms_id = wms.wms_id ";
$sql .= "and gui_wms.fkey_gui_id = gui.gui_id where gui.gui_name = $1 order by gui_wms_position";
$v = array($guiList);
$t = array('s');
$res = db_prep_query($sql,$v,$t);
$count=0;
echo"";
while($row = db_fetch_array($res)){
if ($row["wms_title"]!=""){
echo "".$row["wms_title"]." ";
}
$count++;
}
echo " ";
}
else{
echo"";
echo " ";
}
echo " ";
echo "