'; ?>
";
echo"GUI";
echo" "; $sql = "SELECT * from gui_mb_user, gui WHERE gui.gui_id = gui_mb_user.fkey_gui_id "; $sql .= "AND gui.gui_public = 1 AND gui_mb_user.fkey_mb_user_id = $1 Order BY fkey_gui_id ;"; $v = array($_SESSION["mb_user_id"]); $t = array('i'); $res = db_prep_query($sql,$v,$t); $count=0; while($row = db_fetch_array($res)){ $gui_id[$count]=$row["gui_id"]; $gui_name[$count]=$row["gui_name"]; $gui_description[$count]=$row["gui_description"]; $count++; } echo" "; echo " | ";
echo "";
#echo"WFS";
echo" "; ### if(isset($guiList) && $guiList!=""){ $sql = "SELECT Distinct wfs.wfs_title from gui_wfs LEFT JOIN wfs ON gui_wfs.fkey_wfs_id=wfs.wfs_id "; $sql .= "where gui_wfs.fkey_gui_id = $1 order by wfs.wfs_title"; $v = array($guiList); $t = array('s'); $res = db_prep_query($sql,$v,$t); $count=0; echo" "; } echo " | ";
echo "