comparison src/error_log.js.luan @ 108:2c85ae7b8a35 default tip

logging
author Franklin Schmidt <fschmidt@gmail.com>
date Wed, 03 Sep 2025 12:40:20 -0600
parents 5240c054dcd4
children
comparison
equal deleted inserted replaced
107:ed1418c95488 108:2c85ae7b8a35
11 local logger = Logging.logger "error_log.js" 11 local logger = Logging.logger "error_log.js"
12 12
13 13
14 local bad_agents = { 14 local bad_agents = {
15 [[Version/14\.]] 15 [[Version/14\.]]
16 [[Firefox/]]
16 } 17 }
17 local bad_agents_ptn = regex(concat(bad_agents,"|")) 18 local bad_agents_ptn = regex(concat(bad_agents,"|"))
18 19
19 local function priority(err) 20 local function priority(err)
20 local agent = Http.request.headers["user-agent"] 21 local agent = Http.request.headers["user-agent"]