13 local server_log_wait_time = 0.2; |
13 local server_log_wait_time = 0.2; |
14 local skip_server_startup_log = false; |
14 local skip_server_startup_log = false; |
15 local action_timeout = 10; |
15 local action_timeout = 10; |
16 local verse_log_levels = { "warn", "error" }; |
16 local verse_log_levels = { "warn", "error" }; |
17 local quiet = false; |
17 local quiet = false; |
|
18 local ordered = true; |
18 local force_summary = false; |
19 local force_summary = false; |
19 local serve_mode = false; |
20 local serve_mode = false; |
20 local serve_origin = nil; |
21 local serve_origin = nil; |
21 local only_tags, skip_tags; |
22 local only_tags, skip_tags; |
22 |
23 |
118 serve_mode = 8007; |
119 serve_mode = 8007; |
119 serve_origin = assert(get_value(), "origin expected for '--serve'"); |
120 serve_origin = assert(get_value(), "origin expected for '--serve'"); |
120 elseif opt == "--serve-port" then |
121 elseif opt == "--serve-port" then |
121 serve_mode = assert(tonumber(get_value()), "expected port number"); |
122 serve_mode = assert(tonumber(get_value()), "expected port number"); |
122 serve_origin = assert(get_value(), "origin expected for '--serve-port'"); |
123 serve_origin = assert(get_value(), "origin expected for '--serve-port'"); |
|
124 elseif opt == "--unordered" then |
|
125 ordered = false; |
123 else |
126 else |
124 error("Unhandled command-line option: "..opt); |
127 error("Unhandled command-line option: "..opt); |
125 end |
128 end |
126 end |
129 end |
127 for _, file in ipairs(arg) do |
130 for _, file in ipairs(arg) do |
278 |
281 |
279 -- Process command-line options |
282 -- Process command-line options |
280 local files = process_options(); |
283 local files = process_options(); |
281 |
284 |
282 local console_handlers = require "scansion.console".new({ |
285 local console_handlers = require "scansion.console".new({ |
|
286 ordered = ordered; |
283 summary = not(quiet) or force_summary; |
287 summary = not(quiet) or force_summary; |
284 quiet = quiet; |
288 quiet = quiet; |
285 }); |
289 }); |
|
290 |
|
291 if ordered then |
|
292 require "scansion.ordered_serializer".enable(); |
|
293 end |
286 |
294 |
287 local function console_logger(event, data) |
295 local function console_logger(event, data) |
288 local h = console_handlers[event]; |
296 local h = console_handlers[event]; |
289 if h then |
297 if h then |
290 io.write(h(data), "\n"); |
298 io.write(h(data), "\n"); |