diff options
author | Marius <mariausol@gmail.com> | 2013-02-26 01:40:31 +0200 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2013-02-26 01:40:31 +0200 |
commit | 0d5087c4edd28707b198afabd26016fe922c6e35 (patch) | |
tree | 4fb23acb74c0c046a91dc4d1006b689d89448d49 /scripts/context/lua/mtx-watch.lua | |
parent | f6b142ac209f26e0164dd37933dd622251f9564c (diff) | |
download | context-0d5087c4edd28707b198afabd26016fe922c6e35.tar.gz |
beta 2013.02.26 00:17
Diffstat (limited to 'scripts/context/lua/mtx-watch.lua')
-rw-r--r-- | scripts/context/lua/mtx-watch.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/context/lua/mtx-watch.lua b/scripts/context/lua/mtx-watch.lua index 31ed95f7b..4ed7b1575 100644 --- a/scripts/context/lua/mtx-watch.lua +++ b/scripts/context/lua/mtx-watch.lua @@ -97,7 +97,7 @@ local function glob(files,path) -- some day: sort by name (order prefix) and ati end end -local clock = os.gettimeofday or os.time -- we cannot trust os.clock on linux +local clock = os.gettimeofday or (socket and socket.gettime) or os.time -- we cannot trust os.clock on linux -- local function filenamesort(a,b) -- local fa, da = a[1], a[2] |