prosody-modules: mod_http_host_status_check/mod_http_host_status

annotate mod_http_host_status_check/mod_http_host_status_check.lua @ 5418:f2c7bb3af600

mod_http_oauth2: Add role selector to consent page List includes all roles available to the user, if more than one. Defaults to either the first role in the scope string or the users primary role. Earlier draft listed all roles, but having options that can't be selected is bad UX and the entire list of all roles on the server could be long, and perhaps even sensitive. Allows e.g. picking a role with fewer permissions than what might otherwise have been selected. UX wise, doing this with more checkboxes or possibly radio buttons would have been confusion and/or looked messier. Fixes the previous situation where unselecting a role would default to the primary role, which could be more permissions than requested.

author	Kim Alvefur <zash@zash.se>
date	Fri, 05 May 2023 01:23:13 +0200
parents	85cf9a8b4020
children

rev	line source
2219 5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	1 local heartbeats = module:shared("/*/host_status_check/heartbeats");
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	2 local events = module:shared("/*/host_status_check/connection_events");
2227 7356d722e180 mod_http_host_status_check: Emit log message when host status is not the same as last time we looked Matthew Wild <mwild1@gmail.com> parents: 2219 diff changeset	3 local host_status_ok = module:shared("host_status_ok");
2219 5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	4
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	5 local time = require "socket".gettime;
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	6 local template = require "util.interpolation".new("%b{}", function (s) return s end)
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	7
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	8 module:depends "http"
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	9
2229 2a7e9d9e7339 mod_http_host_status_check: Bump default timeout threshold to 10s (from 5s). Heartbeats default to every 5s. Matthew Wild <mwild1@gmail.com> parents: 2228 diff changeset	10 local threshold = module:get_option_number("status_check_heartbeat_threshold", 10);
2219 5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	11
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	12 local function status_string(status, duration, comment)
2228 03a4c3209f21 mod_http_host_status_check: Fix some luacheck warnings Matthew Wild <mwild1@gmail.com> parents: 2227 diff changeset	13 local string_timestamp;
2219 5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	14 if duration then
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	15 string_timestamp = ("(%0.2fs%s)"):format(duration, comment or "");
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	16 elseif comment then
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	17 string_timestamp = ("(%s)"):format(comment);
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	18 else
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	19 return status and "UP" or "DOWN";
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	20 end
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	21 return (status and "UP " or "DOWN ")..string_timestamp;
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	22 end
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	23
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	24 local function string_pad(s, len)
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	25 return s..(" "):rep(len-#s);
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	26 end
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	27
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	28 local status_page_template = [[
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	29 STATUS {status}
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	30 {host_statuses%HOST {item} {idx}
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	31 }]];
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	32
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	33 function status_page()
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	34 local host_statuses = {};
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	35 local current_time = time();
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	36
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	37 local all_ok = true;
2765 85cf9a8b4020 mod_http_host_status_check: Add list of failing hosts to the first line for summary Matthew Wild <mwild1@gmail.com> parents: 2229 diff changeset	38 local failed_hosts = {};
2219 5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	39
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	40 for host in pairs(hosts) do
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	41 local last_heartbeat_time = heartbeats[host];
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	42
2228 03a4c3209f21 mod_http_host_status_check: Fix some luacheck warnings Matthew Wild <mwild1@gmail.com> parents: 2227 diff changeset	43 local ok, status_text = true;
2219 5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	44
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	45 local is_component = hosts[host].type == "component" and hosts[host].modules.component;
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	46
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	47 if is_component then
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	48 local current_status = hosts[host].modules.component.connected;
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	49 if events[host] then
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	50 local tracked_status = events[host].connected;
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	51 if tracked_status == current_status then
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	52 status_text = status_string(current_status, time() - events[host].timestamp);
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	53 else
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	54 status_text = status_string(current_status, nil, "!");
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	55 end
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	56 else
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	57 status_text = status_string(current_status, nil, "?");
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	58 end
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	59 if not current_status then
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	60 ok = false;
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	61 end
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	62 else
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	63 local event_info = events[host];
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	64 local connected = true;
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	65 if event_info then
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	66 connected = event_info.connected;
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	67 end
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	68 status_text = status_string(connected, event_info and (time() - events[host].timestamp), not event_info and "?");
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	69 end
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	70
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	71 if last_heartbeat_time then
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	72 local time_since_heartbeat = current_time - last_heartbeat_time;
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	73 if ok then
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	74 if time_since_heartbeat > threshold then
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	75 status_text = ("TIMEOUT (%0.2fs)"):format(time_since_heartbeat);
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	76 ok = false;
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	77 else
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	78 status_text = status_text:gsub("^%S+", "GOOD");
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	79 end
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	80 end
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	81 end
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	82
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	83 if not ok then
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	84 all_ok = false;
2765 85cf9a8b4020 mod_http_host_status_check: Add list of failing hosts to the first line for summary Matthew Wild <mwild1@gmail.com> parents: 2229 diff changeset	85 table.insert(failed_hosts, host);
2219 5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	86 end
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	87
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	88 if not ok or is_component or last_heartbeat_time then
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	89 host_statuses[host] = string_pad(status_text, 20);
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	90 end
2227 7356d722e180 mod_http_host_status_check: Emit log message when host status is not the same as last time we looked Matthew Wild <mwild1@gmail.com> parents: 2219 diff changeset	91 local last_ok = host_status_ok[host];
7356d722e180 mod_http_host_status_check: Emit log message when host status is not the same as last time we looked Matthew Wild <mwild1@gmail.com> parents: 2219 diff changeset	92 if last_ok ~= ok then
7356d722e180 mod_http_host_status_check: Emit log message when host status is not the same as last time we looked Matthew Wild <mwild1@gmail.com> parents: 2219 diff changeset	93 if last_ok ~= nil then
7356d722e180 mod_http_host_status_check: Emit log message when host status is not the same as last time we looked Matthew Wild <mwild1@gmail.com> parents: 2219 diff changeset	94 module:log("warn", "Host status check %s (%s)", ok and "OK" or "FAILED", status_text);
7356d722e180 mod_http_host_status_check: Emit log message when host status is not the same as last time we looked Matthew Wild <mwild1@gmail.com> parents: 2219 diff changeset	95 end
7356d722e180 mod_http_host_status_check: Emit log message when host status is not the same as last time we looked Matthew Wild <mwild1@gmail.com> parents: 2219 diff changeset	96 host_status_ok[host] = ok;
7356d722e180 mod_http_host_status_check: Emit log message when host status is not the same as last time we looked Matthew Wild <mwild1@gmail.com> parents: 2219 diff changeset	97 end
2219 5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	98 end
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	99 local page = template(status_page_template, {
2765 85cf9a8b4020 mod_http_host_status_check: Add list of failing hosts to the first line for summary Matthew Wild <mwild1@gmail.com> parents: 2229 diff changeset	100 status = all_ok and "OK" or ("FAIL: "..table.concat(failed_hosts, ", "));
2219 5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	101 host_statuses = host_statuses;
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	102 });
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	103 return page;
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	104 end
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	105
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	106 module:provides("http", {
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	107 route = {
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	108 GET = status_page;
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	109 };
5fcf9d558250 Three new modules: mod_host_status_check, mod_host_status_heartbeat and mod_http_host_status_check Matthew Wild <mwild1@gmail.com> parents: diff changeset	110 })

Mercurial > prosody-modules

annotate mod_http_host_status_check/mod_http_host_status_check.lua @ 5418:f2c7bb3af600