main.lua

changeset 157
b35dc87ebff0
parent 155
84aa28dda508
child 160
28aa762f11c7
--- a/main.lua	Mon Sep 17 22:07:19 2018 +0100
+++ b/main.lua	Fri Dec 28 04:35:51 2018 -0500
@@ -17,6 +17,7 @@
 local quiet = false;
 local force_summary = false;
 local serve_mode = false;
+local serve_origin = nil;
 local only_tags, skip_tags;
 
 local property_rules = {};
@@ -115,8 +116,10 @@
 			force_summary = true;
 		elseif opt == "--serve" then
 			serve_mode = 8007;
+			serve_origin = assert(get_value(), "origin expected for '--serve'");
 		elseif opt == "--serve-port" then
 			serve_mode = assert(tonumber(get_value()), "expected port number");
+			serve_origin = assert(get_value(), "origin expected for '--serve-port'");
 		else
 			error("Unhandled command-line option: "..opt);
 		end
@@ -349,7 +352,7 @@
 		-- This function handles scansion errors,
 		-- but they shouldn't reach here anyway
 	end);
-	serve.run({ port = serve_mode }, run_test_script);
+	serve.run({ port = serve_mode, origin = serve_origin }, run_test_script);
 	os.exit(0);
 end
 

mercurial