";
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"
";
echo " | ";
echo "";
echo"CATALOG";
echo"
";
//Change to catalog tables: mif
if(isset($guiList) && $guiList!=""){
$sql = "SELECT DISTINCT cat.cat_title from gui_cat JOIN ";
$sql .= "gui on gui_cat.fkey_gui_id = gui.gui_id JOIN cat ON gui_cat.fkey_cat_id = cat.cat_id ";
$sql .= "and gui_cat.fkey_gui_id = gui.gui_id where gui.gui_name = $1";
$v = array($guiList);
$t = array('s');
$res = db_prep_query($sql,$v,$t);
$count=0;
echo"
";
}
else{
echo"
";
}
echo " | ";
echo "