";
echo "";
if (count($ownguis)>0){
echo"GUI";
echo"
";
$sql = "SELECT * FROM gui WHERE gui_id IN (";
$v = $ownguis;
$t = array();
for ($i = 1; $i <= count($ownguis); $i++){
if ($i > 1) {
$sql .= ",";
}
$sql .= "$".$i;
array_push($t, "s");
}
$sql .= ") ORDER BY gui_name";
$res = db_prep_query($sql, $v, $t);
$count=0;
echo"
";
echo " | ";
echo "";
echo"WMS";
echo"
";
if(isset($guiList) && $guiList!=""){
$sql = "SELECT DISTINCT wms_id, wms.wms_abstract, wms.wms_title, gui_wms_position FROM gui_wms ";
$sql .= "JOIN 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"
";
}else{
echo"
";
}
echo " | ";
echo "