main.lua

changeset 174
662bd8c5ae28
parent 173
14ed4cb241f4
child 181
3a9b9c98304a
--- a/main.lua	Thu Mar 23 15:09:10 2023 +0000
+++ b/main.lua	Thu Mar 23 15:12:30 2023 +0000
@@ -15,6 +15,7 @@
 local action_timeout = 10;
 local verse_log_levels = { "warn", "error" };
 local quiet = false;
+local ordered = true;
 local force_summary = false;
 local serve_mode = false;
 local serve_origin = nil;
@@ -120,6 +121,8 @@
 		elseif opt == "--serve-port" then
 			serve_mode = assert(tonumber(get_value()), "expected port number");
 			serve_origin = assert(get_value(), "origin expected for '--serve-port'");
+		elseif opt == "--unordered" then
+			ordered = false;
 		else
 			error("Unhandled command-line option: "..opt);
 		end
@@ -280,10 +283,15 @@
 local files = process_options();
 
 local console_handlers = require "scansion.console".new({
+	ordered = ordered;
 	summary = not(quiet) or force_summary;
 	quiet = quiet;
 });
 
+if ordered then
+	require "scansion.ordered_serializer".enable();
+end
+
 local function console_logger(event, data)
 	local h = console_handlers[event];
 	if h then

mercurial