Changeset

5323:400ffa842576

mod_audit: Let util.human.io pick a suitable default width It supports better width detection now.
author Matthew Wild <mwild1@gmail.com>
date Fri, 07 Apr 2023 13:10:20 +0100
parents 5322:eb832553d635
children 5324:18fd615c2733
files mod_audit/mod_audit.lua
diffstat 1 files changed, 1 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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());