comparison: main.lua
main.lua
- changeset 157
- b35dc87ebff0
- parent 155
- 84aa28dda508
- child 160
- 28aa762f11c7
equal
deleted
inserted
replaced
| 156:807dc9c0f140 | 157:b35dc87ebff0 |
|---|---|
| 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 force_summary = false; | 18 local force_summary = false; |
| 19 local serve_mode = false; | 19 local serve_mode = false; |
| 20 local serve_origin = nil; | |
| 20 local only_tags, skip_tags; | 21 local only_tags, skip_tags; |
| 21 | 22 |
| 22 local property_rules = {}; | 23 local property_rules = {}; |
| 23 | 24 |
| 24 local function apply_object_properties(class, name, object) | 25 local function apply_object_properties(class, name, object) |
| 113 end | 114 end |
| 114 elseif opt == "--summary" then | 115 elseif opt == "--summary" then |
| 115 force_summary = true; | 116 force_summary = true; |
| 116 elseif opt == "--serve" then | 117 elseif opt == "--serve" then |
| 117 serve_mode = 8007; | 118 serve_mode = 8007; |
| 119 serve_origin = assert(get_value(), "origin expected for '--serve'"); | |
| 118 elseif opt == "--serve-port" then | 120 elseif opt == "--serve-port" then |
| 119 serve_mode = assert(tonumber(get_value()), "expected port number"); | 121 serve_mode = assert(tonumber(get_value()), "expected port number"); |
| 122 serve_origin = assert(get_value(), "origin expected for '--serve-port'"); | |
| 120 else | 123 else |
| 121 error("Unhandled command-line option: "..opt); | 124 error("Unhandled command-line option: "..opt); |
| 122 end | 125 end |
| 123 end | 126 end |
| 124 for _, file in ipairs(arg) do | 127 for _, file in ipairs(arg) do |
| 347 | 350 |
| 348 initialize_verse(function (e) --luacheck: ignore e | 351 initialize_verse(function (e) --luacheck: ignore e |
| 349 -- This function handles scansion errors, | 352 -- This function handles scansion errors, |
| 350 -- but they shouldn't reach here anyway | 353 -- but they shouldn't reach here anyway |
| 351 end); | 354 end); |
| 352 serve.run({ port = serve_mode }, run_test_script); | 355 serve.run({ port = serve_mode, origin = serve_origin }, run_test_script); |
| 353 os.exit(0); | 356 os.exit(0); |
| 354 end | 357 end |
| 355 | 358 |
| 356 log_data("start", { metadata = test_metadata }); | 359 log_data("start", { metadata = test_metadata }); |
| 357 | 360 |
