net/server.lua
changeset 7549 9606a99f8617
parent 7548 0941b3ab77c0
child 8689 a0f728c3aa69
--- a/net/server.lua	Wed Aug 10 16:51:38 2016 +0200
+++ b/net/server.lua	Wed Aug 10 16:52:26 2016 +0200
@@ -64,6 +64,11 @@
 else
 	server = require("net.server_"..server_type);
 	set_config = server.set_config;
+	if not server.get_backend then
+		function server.get_backend()
+			return server_type;
+		end
+	end
 end
 
 -- If server.hook_signal exists, replace signal.signal()