util/prosodyctl.lua
changeset 3627 9e62937c9757
parent 3307 3d7acda82eed
child 3711 2a1cfaf3ee61
--- a/util/prosodyctl.lua	Sat Nov 13 23:10:50 2010 +0000
+++ b/util/prosodyctl.lua	Tue Nov 16 13:30:27 2010 +0000
@@ -12,6 +12,7 @@
 local stringprep = encodings.stringprep;
 local usermanager = require "core.usermanager";
 local signal = require "util.signal";
+local set = require "util.set";
 local lfs = require "lfs";
 
 local nodeprep, nameprep = stringprep.nodeprep, stringprep.nameprep;
@@ -77,6 +78,11 @@
 		return false, "no-pidfile";
 	end
 	
+	local modules_enabled = set.new(config.get("*", "core", "modules_enabled"));
+	if not modules_enabled:contains("posix") then
+		return false, "no-posix";
+	end
+	
 	local file, err = io.open(pidfile, "r+");
 	if not file then
 		return false, "pidfile-read-failed", err;