# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1470840746 -7200
# Node ID 9606a99f861716195d11050db078562937455dab
# Parent  0941b3ab77c091228a6fb244424062829f87e097
net.server: Monkey-patch in a fallback get_backend method if missing

diff -r 0941b3ab77c0 -r 9606a99f8617 net/server.lua
--- 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()