# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1680869420 -3600
# Node ID 400ffa8425767f156302f2d6f4d290dd6b47372f
# Parent  eb832553d6352cd8ecff48f95990c450424cdc8e
mod_audit: Let util.human.io pick a suitable default width

It supports better width detection now.

diff -r eb832553d635 -r 400ffa842576 mod_audit/mod_audit.lua
--- a/mod_audit/mod_audit.lua	Fri Apr 07 13:09:51 2023 +0100
+++ b/mod_audit/mod_audit.lua	Fri Apr 07 13:10:20 2023 +0100
@@ -178,8 +178,7 @@
 		end
 	end
 
-	local width = tonumber(os.getenv("COLUMNS")) or 80;
-	local row = require "util.human.io".table(colspec, width);
+	local row, width = require "util.human.io".table(colspec);
 
 	print(string.rep("-", width));
 	print(row());