mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-08-04 14:46:03 +00:00
Flush output streams on kitten end
This commit is contained in:
parent
3192b61385
commit
56dd442e2c
1 changed files with 2 additions and 0 deletions
|
|
@ -46,6 +46,8 @@ def launch(args):
|
|||
if result is not None:
|
||||
import json
|
||||
print('OK:', json.dumps(result))
|
||||
sys.stderr.flush()
|
||||
sys.stdout.flush()
|
||||
|
||||
|
||||
def main():
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue