prosody
changeset 6988 a2e1f5ebdb53
parent 6924 45fa2e554c79
child 7084 a22d6a46d2ed
--- a/prosody	Thu Dec 10 15:16:49 2015 +0100
+++ b/prosody	Thu Dec 10 13:33:14 2015 +0000
@@ -43,6 +43,12 @@
 	end
 end
 
+if #arg > 0 and arg[1] ~= "--config" then
+	print("Unknown command-line option: "..tostring(arg[1]));
+	print("Perhaps you meant to use prosodyctl instead?");
+	return 1;
+end
+
 -- Global 'prosody' object
 local prosody = { events = require "util.events".new(); };
 _G.prosody = prosody;