annotate src/error_log.js.luan @ 71:44bec62c49e2 default tip

split ask
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 24 Aug 2025 08:32:08 -0600
parents 3d9903900a71
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 local Luan = require "luan:Luan.luan"
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 local error = Luan.error
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
3 local String = require "luan:String.luan"
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4 local trim = String.trim or error()
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5 local regex = String.regex or error()
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6 local contains = String.contains or error()
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7 local Table = require "luan:Table.luan"
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8 local concat = Table.concat or error()
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9 local Http = require "luan:http/Http.luan"
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10 local Logging = require "luan:logging/Logging.luan"
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11 local logger = Logging.logger "error_log.js"
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13
63
3d9903900a71 logging
Franklin Schmidt <fschmidt@gmail.com>
parents: 1
diff changeset
14 local bad_agents = {
3d9903900a71 logging
Franklin Schmidt <fschmidt@gmail.com>
parents: 1
diff changeset
15 [[Firefox/]]
3d9903900a71 logging
Franklin Schmidt <fschmidt@gmail.com>
parents: 1
diff changeset
16 }
3d9903900a71 logging
Franklin Schmidt <fschmidt@gmail.com>
parents: 1
diff changeset
17 local bad_agents_ptn = regex(concat(bad_agents,"|"))
1
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19 local function priority(err)
63
3d9903900a71 logging
Franklin Schmidt <fschmidt@gmail.com>
parents: 1
diff changeset
20 local agent = Http.request.headers["user-agent"]
3d9903900a71 logging
Franklin Schmidt <fschmidt@gmail.com>
parents: 1
diff changeset
21 if agent~=nil and bad_agents_ptn.matches(agent) then return "info" end
1
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22 return "error"
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23 end
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
25 return function()
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26 local err = Http.request.parameters.err
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
27 if err == nil then
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
28 return -- stupid bots
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
29 end
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
30 local call = priority(err)
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
31 logger[call](trim(err).."\n"..trim(Http.request.raw_head).."\n")
1c87f785eb42 start chat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
32 end