net/server.lua
changeset 10857 0107ed6744aa
parent 9218 b087b5047f86
child 11766 54530085dffe
--- a/net/server.lua	Mon Jun 01 13:41:41 2020 +0100
+++ b/net/server.lua	Mon Jun 01 13:43:35 2020 +0100
@@ -13,7 +13,11 @@
 end
 
 local log = require "util.logger".init("net.server");
-local server_type = require "core.configmanager".get("*", "network_backend") or "select";
+
+local have_util_poll = pcall(require, "util.poll");
+local default_backend = have_util_poll and "epoll" or "select";
+
+local server_type = require "core.configmanager".get("*", "network_backend") or default_backend;
 
 if require "core.configmanager".get("*", "use_libevent") then
 	server_type = "event";