'; ?> WMS Preferences 1){ echo "alert('WMS_preferences: ID not unique!');";} echo '"; $sql_visible = "SELECT * FROM gui_wms WHERE fkey_gui_id = $1"; $v = array($_SESSION["mb_user_gui"]); $t = array("s"); $res_visible = db_prep_query($sql_visible, $v, $t); $cnt_visible = 0; while($row = db_fetch_array($res_visible)){ $gui_wms_visible[$cnt_visible] = $row["gui_wms_visible"]; $fkey_wms_id_visible[$cnt_visible] = $row["fkey_wms_id"]; if($cnt_visible>0){ $vis .= ","; $wmsid .= ","; } $vis .= $gui_wms_visible[$cnt_visible]; $wmsid .= $fkey_wms_id_visible[$cnt_visible]; $cnt_visible++; } echo '"; ?>