plugins/mod_admin_shell.lua
changeset 11953 ae4bc56f18e0
parent 11950 c0a01e5f5656
child 11954 d2a9e95fd27b
--- a/plugins/mod_admin_shell.lua	Sat Jan 05 07:15:33 2019 +0100
+++ b/plugins/mod_admin_shell.lua	Fri Nov 26 22:26:48 2021 +0100
@@ -35,6 +35,7 @@
 local serialization = require "util.serialization";
 local serialize_config = serialization.new ({ fatal = false, unquoted = true});
 local time = require "util.time";
+local promise = require "util.promise";
 
 local t_insert = table.insert;
 local t_concat = table.concat;
@@ -173,6 +174,10 @@
 
 	local taskok, message = chunk();
 
+	if promise.is_promise(taskok) then
+		taskok, message = async.wait_for(taskok);
+	end
+
 	if not message then
 		if type(taskok) ~= "string" and useglobalenv then
 			taskok = session.serialize(taskok);