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;