diff options
| author | Paul Emmerich <tandanu@deadlybossmods.com> | 2024-02-26 22:49:05 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-26 22:49:05 +0100 |
| commit | ceda1b69f092c1dc883267e5d9d9f5f751f905b1 (patch) | |
| tree | 5ea92ee468e7ba02da7ddf5f5d0a262543a5f6b1 /script | |
| parent | 37233462b95b9a104bf30adf50cfa1c4416cc264 (diff) | |
| download | lua-language-server-ceda1b69f092c1dc883267e5d9d9f5f751f905b1.zip | |
Flush stdout in check progress indicator
stdout is often line-buffered and needs flushing for the progress indicator to work
Diffstat (limited to 'script')
| -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 146035b6..0a0bf694 100644 --- a/script/cli/check.lua +++ b/script/cli/check.lua @@ -84,6 +84,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') |