';
?>
WMS Preferences
1){ echo "alert('WMS_preferences: ID not unique!');";}
echo '";
$sql_visible = "SELECT * FROM gui_wms WHERE fkey_gui_id = '".$_SESSION["mb_user_gui"]."'";
$res_visible = db_query($sql_visible);
$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 '";
?>