equal
deleted
inserted
replaced
7 server = require "net.server_event"; |
7 server = require "net.server_event"; |
8 package.loaded["net.server"] = server; |
8 package.loaded["net.server"] = server; |
9 |
9 |
10 -- Backwards compatibility for timers, addtimer |
10 -- Backwards compatibility for timers, addtimer |
11 -- called a function roughly every second |
11 -- called a function roughly every second |
12 local add_task = require "util.timer"; |
12 local add_task = require "util.timer".add_task; |
13 function server.addtimer(f) |
13 function server.addtimer(f) |
14 return add_task(1, function (...) f(...); return 1; end); |
14 return add_task(1, function (...) f(...); return 1; end); |
15 end |
15 end |
16 else |
16 else |
17 server = require "net.server_select"; |
17 server = require "net.server_select"; |