changeset 10174 | 882ca2f965d5 |
parent 10173 | 25deff8b2db4 |
child 10176 | 5da519ef2d51 |
10173:25deff8b2db4 | 10174:882ca2f965d5 |
---|---|
1424 print(""); |
1424 print(""); |
1425 print("Where COMMAND may be one of:\n"); |
1425 print("Where COMMAND may be one of:\n"); |
1426 |
1426 |
1427 local hidden_commands = require "util.set".new{ "register", "unregister", "addplugin" }; |
1427 local hidden_commands = require "util.set".new{ "register", "unregister", "addplugin" }; |
1428 local commands_order = { "install", "remove", "list", "enabled_plugins", "adduser", "passwd", "deluser", "start", "stop", "restart", "reload", |
1428 local commands_order = { "install", "remove", "list", "enabled_plugins", "adduser", "passwd", "deluser", "start", "stop", "restart", "reload", |
1429 "about", "list" }; |
1429 "about" }; |
1430 |
1430 |
1431 local done = {}; |
1431 local done = {}; |
1432 |
1432 |
1433 for _, command_name in ipairs(commands_order) do |
1433 for _, command_name in ipairs(commands_order) do |
1434 local command_func = commands[command_name]; |
1434 local command_func = commands[command_name]; |