New timer

This commit is contained in:
Quan Guo 2015-10-02 00:38:40 +02:00
parent 5e7c96f4d9
commit 3c52f47f46

View file

@ -8,7 +8,7 @@
local debug = require("debug") local debug = require("debug")
local capi = { timer = timer } local capi = { timer = (type(timer) == 'table' and timer or require ("gears.timer")) }
local io = { open = io.open, local io = { open = io.open,
lines = io.lines, lines = io.lines,
popen = io.popen } popen = io.popen }