diff src/error_log.js.luan @ 63:3d9903900a71

logging
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 19 Aug 2025 09:29:54 +0900
parents 1c87f785eb42
children
line wrap: on
line diff
--- a/src/error_log.js.luan	Tue Aug 19 07:40:27 2025 +0900
+++ b/src/error_log.js.luan	Tue Aug 19 09:29:54 2025 +0900
@@ -11,8 +11,14 @@
 local logger = Logging.logger "error_log.js"
 
 
+local bad_agents = {
+	[[Firefox/]]
+}
+local bad_agents_ptn = regex(concat(bad_agents,"|"))
 
 local function priority(err)
+	local agent = Http.request.headers["user-agent"]
+	if agent~=nil and bad_agents_ptn.matches(agent) then return "info" end
 	return "error"
 end