diff options
author | 最萌小汐 <sumneko@hotmail.com> | 2019-12-10 17:40:28 +0800 |
---|---|---|
committer | 最萌小汐 <sumneko@hotmail.com> | 2019-12-10 17:40:28 +0800 |
commit | 79c87da843cb747db1886e706aa0c22e85e1c46d (patch) | |
tree | 681c10da07441222a8c736015e0bc18dbbe3d4e6 /script-beta/pub/report.lua | |
parent | 3032729867c8975d433adc5de11cdc905d9fc2eb (diff) | |
download | lua-language-server-79c87da843cb747db1886e706aa0c22e85e1c46d.zip |
追踪一下高耗时的单步
Diffstat (limited to 'script-beta/pub/report.lua')
-rw-r--r-- | script-beta/pub/report.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script-beta/pub/report.lua b/script-beta/pub/report.lua index edd3ee0e..34f58277 100644 --- a/script-beta/pub/report.lua +++ b/script-beta/pub/report.lua @@ -2,7 +2,7 @@ local pub = require 'pub.pub' local await = require 'await' pub.on('log', function (params, brave) - log.raw(brave.id, params.level, params.msg, params.src, params.line) + log.raw(brave.id, params.level, params.msg, params.src, params.line, params.clock) end) pub.on('mem', function (count, brave) |