# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1470840698 -7200
# Node ID 0941b3ab77c091228a6fb244424062829f87e097
# Parent  fb68aad9dc4dcfbc10d0a2cc505bdb201a6f4334
net.server: Allow arbitrary network backends to be configured

diff -r fb68aad9dc4d -r 0941b3ab77c0 net/server.lua
--- a/net/server.lua	Wed Aug 10 16:50:13 2016 +0200
+++ b/net/server.lua	Wed Aug 10 16:51:38 2016 +0200
@@ -62,7 +62,8 @@
 		server.changesettings(select_settings);
 	end
 else
-	error("Unsupported server type")
+	server = require("net.server_"..server_type);
+	set_config = server.set_config;
 end
 
 -- If server.hook_signal exists, replace signal.signal()