diff options
Diffstat (limited to 'script/provider/provider.lua')
| -rw-r--r-- | script/provider/provider.lua | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/script/provider/provider.lua b/script/provider/provider.lua index e2531abf..205be08c 100644 --- a/script/provider/provider.lua +++ b/script/provider/provider.lua @@ -1019,6 +1019,8 @@ m.register '$/status/click' { diagnostic.diagnosticsScope(scp.uri, true) end elseif result == 'Restart Server' then + local diag = require 'provider.diagnostic' + diag.clearAll(true) os.exit(0, true) end end |