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/utility.lua | |
| 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/utility.lua')
0 files changed, 0 insertions, 0 deletions