# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1591083665 -3600
# Node ID c01c39a2c7a29529c29143b1281274076b123c1a
# Parent  09674bbb833f137bd764c8af9020cf6a76e618cd
util.adminstream: Import net.server [luacheck]

diff -r 09674bbb833f -r c01c39a2c7a2 util/adminstream.lua
--- a/util/adminstream.lua	Tue Jun 02 08:28:39 2020 +0100
+++ b/util/adminstream.lua	Tue Jun 02 08:41:05 2020 +0100
@@ -5,6 +5,7 @@
 local runner = require "util.async".runner;
 local add_task = require "util.timer".add_task;
 local events = require "util.events";
+local server = require "net.server";
 
 local stream_close_timeout = 5;