diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2024-03-05 13:58:57 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-05 13:58:57 +0800 |
| commit | 5623a84ea9a2b27dd7121f88dd995389c702eac1 (patch) | |
| tree | 4592c9c5a112265c2682b322754f9fb711d60363 /script/cli/check.lua | |
| parent | 18ae2db54c30a57c399b5fb203fdb6deec5adc32 (diff) | |
| parent | ceda1b69f092c1dc883267e5d9d9f5f751f905b1 (diff) | |
| download | lua-language-server-5623a84ea9a2b27dd7121f88dd995389c702eac1.zip | |
Merge pull request #2547 from emmericp/patch-1
Flush stdout in check progress indicator
Diffstat (limited to 'script/cli/check.lua')
| -rw-r--r-- | script/cli/check.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/script/cli/check.lua b/script/cli/check.lua index 84ac8766..5ac9ea13 100644 --- a/script/cli/check.lua +++ b/script/cli/check.lua @@ -85,6 +85,7 @@ lclient():start(function (client) .. ('0'):rep(#tostring(max) - #tostring(i)) .. tostring(i) .. '/' .. tostring(max) io.write(output) + io.flush() end end io.write('\x0D') |