diff options
Diffstat (limited to 'server-beta/src/provider')
| -rw-r--r-- | server-beta/src/provider/init.lua | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/server-beta/src/provider/init.lua b/server-beta/src/provider/init.lua index c4835dce..5f3d2db4 100644 --- a/server-beta/src/provider/init.lua +++ b/server-beta/src/provider/init.lua @@ -7,6 +7,7 @@ local proto = require 'proto.proto' local define = require 'proto.define' local workspace = require 'workspace' local config = require 'config' +local library = require 'library' local function updateConfig() local configs = proto.awaitRequest('workspace/configuration', { @@ -38,6 +39,7 @@ local function updateConfig() local newConfig = config.config local newOther = config.other if not util.equal(oldConfig.runtime, newConfig.runtime) then + library.reload() end if not util.equal(oldConfig.diagnostics, newConfig.diagnostics) then end |