/**
* Save/ Update config option
*
* @param integer $user_id Current user ID
* @param string $param_name Parameter name
* @param string $param_value Parameter value
*
* @return boolean
*/
function set_config_option($user_id, $param_name, $param_value)
{
// We do allow for param values to be empty strings or 0 (zero)
if (empty($param_name) || is_null($param_value)) {
return false;
}
// Prepare the value before inserting it
$param_value = config_clean($param_value);
$param_value = escape_check($param_value);
$query = sprintf('
INSERT INTO user_preferences (
user,
parameter,
`value`
)
VALUES (
%s, # user
\'%s\', # parameter
\'%s\' # value
);
', is_null($user_id) ? 'NULL' : '\'' . $user_id . '\'', $param_name, $param_value);
$current_param_value = null;
if (get_config_option($user_id, $param_name, $current_param_value)) {
if ($current_param_value == $param_value) {
return true;
}
$query = sprintf('
UPDATE user_preferences
SET `value` = \'%s\'
WHERE user %s
AND parameter = \'%s\';
', $param_value, is_null($user_id) ? 'IS NULL' : '= \'' . $user_id . '\'', $param_name);
}
sql_query($query);
return true;
}
function get_scanner_contrast_maximum($scanner_name)
{
$contrast_info = explode('|', get_config_option($scanner_name, "contrast"));
return $contrast_info[3];
}
