# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1258823601 0
# Node ID fecf33cb29138210b383418d479f7171b95d762c
# Parent  466bd2cac62ae66bd299f283cba2fea4fc84ac50
net.server: Small fix for addtimer() compatibility code

diff -r 466bd2cac62a -r fecf33cb2913 net/server.lua
--- a/net/server.lua	Sat Nov 21 17:11:59 2009 +0000
+++ b/net/server.lua	Sat Nov 21 17:13:21 2009 +0000
@@ -9,7 +9,7 @@
 	
 	-- Backwards compatibility for timers, addtimer
 	-- called a function roughly every second
-	local add_task = require "util.timer";
+	local add_task = require "util.timer".add_task;
 	function server.addtimer(f)
 		return add_task(1, function (...) f(...); return 1; end);
 	end