diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2019-12-10 19:05:12 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2019-12-10 19:05:12 +0800 |
| commit | e642773d31b415ff79c6a682486a3e7aaa2f8a86 (patch) | |
| tree | 5ce6380490730f72fe3599ea0c28738fa59f57b5 /script-beta/await.lua | |
| parent | 47e84995fda8b3ac1a196cb2c157d45ea9e3dbc0 (diff) | |
| download | lua-language-server-e642773d31b415ff79c6a682486a3e7aaa2f8a86.zip | |
对意外挂起的任务进行检查
Diffstat (limited to 'script-beta/await.lua')
| -rw-r--r-- | script-beta/await.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script-beta/await.lua b/script-beta/await.lua index 7134716b..30cbf993 100644 --- a/script-beta/await.lua +++ b/script-beta/await.lua @@ -107,7 +107,7 @@ function m.step() local clock = os.clock() waker() local passed = os.clock() - clock - if passed > 0.01 then + if passed > 0.1 then log.warn(('Await step takes [%.3f] sec.\n%s'):format(passed, buildInfo(waker))) end return true |