diff --git a/src/etc/inc/util.inc b/src/etc/inc/util.inc index b22c681fd..884245233 100644 --- a/src/etc/inc/util.inc +++ b/src/etc/inc/util.inc @@ -886,7 +886,7 @@ function log_error($error) * RESULT * null ******/ -function log_msg($msg, $prio = LOG_WARNING) +function log_msg($msg, $prio = LOG_NOTICE) { $page = $_SERVER['SCRIPT_NAME']; if (empty($page)) { @@ -894,6 +894,16 @@ function log_msg($msg, $prio = LOG_WARNING) $page = basename($files[0]); } + switch ($prio) { + case LOG_DEBUG: + case LOG_INFO: + /* lowest handled value for the time being */ + $prio = LOG_NOTICE; + break; + default: + break; + } + syslog($prio, "$page: $msg"); }