diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2019-09-23 21:46:20 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2019-09-23 21:46:20 +0800 |
| commit | 83a5cdc86fed194c453518e8ae3d1f58c6c84fdd (patch) | |
| tree | 2b5fa13414f5115aa5f45b0a4c0e1587af997dc3 /server-beta/src/proto/provider.lua | |
| parent | 4dec306912bd95049e038c110ec4356b67630d60 (diff) | |
| download | lua-language-server-83a5cdc86fed194c453518e8ae3d1f58c6c84fdd.zip | |
预读文件
Diffstat (limited to 'server-beta/src/proto/provider.lua')
| -rw-r--r-- | server-beta/src/proto/provider.lua | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/server-beta/src/proto/provider.lua b/server-beta/src/proto/provider.lua index 01121a15..0b9c285e 100644 --- a/server-beta/src/proto/provider.lua +++ b/server-beta/src/proto/provider.lua @@ -8,11 +8,14 @@ local inte = require 'proto.interface' local workspace = require 'workspace' proto.on('initialize', function (params) - log.debug(util.dump(params)) + --log.debug(util.dump(params)) if params.workspaceFolders then local name = params.workspaceFolders[1].name local uri = params.workspaceFolders[1].uri workspace.init(name, uri) + task.create(function () + workspace.preload() + end) end return { capabilities = cap.initer, |