use `time.time` instead of `os.clock`

the implementation of os.clock under the windows platform is inconsistent with other platforms

1 files changed, 4 insertions, 3 deletions

diff --git a/script/provider/diagnostic.lua b/script/provider/diagnostic.lua
index 209e2aaa..d0de0962 100644
--- a/script/provider/diagnostic.lua
+++ b/script/provider/diagnostic.lua
@@ -12,6 +12,7 @@ local client    = require 'client'
 local converter = require 'proto.converter'
 local loading   = require 'workspace.loading'
 local scope     = require 'workspace.scope'
+local time      = require 'bee.time'
 
 ---@class diagnosticProvider
 local m = {}
@@ -260,13 +261,13 @@ function m.doDiagnostic(uri, isScopeDiag)
 
     pushResult()
 
-    local lastPushClock = os.clock()
+    local lastPushClock = time.time()
     ---@async
     xpcall(core, log.error, uri, isScopeDiag, function (result)
         diags[#diags+1] = buildDiagnostic(uri, result)
 
-        if not isScopeDiag and os.clock() - lastPushClock >= 0.2 then
-            lastPushClock = os.clock()
+        if not isScopeDiag and time.time() - lastPushClock >= 200 then
+            lastPushClock = time.time()
             pushResult()
         end
     end, function (checkedName)