Wojciech Bederski

self-hosted: redis connection pool fills up after a while and bot enters an unhealthy state

5

I don't have any specific reproduction steps yet, but it seems that there exists a path in which a connection in redis connection pool are not closed properly (left in...

Remove pywin32 dependency

2

Use ctypes instead

Investigate asynchrous updates instead of RPC

5

Right now supervisor pokes each process every 0.2 seconds and also after sending any input event. It would great if console_server.py just let console_client.py know when something changed on screen.

If a file is active start terminal there, if not, start at one of the currently open folders/project root.

It's too slow! :-) diff refresh: http://i.imgur.com/e9A78.png full refresh: http://i.imgur.com/Strkc.png add_regions() and erase_regions() are called for each one character, making it totaling at 2_ROWS_COLS method calls each refresh. We could...

At least unload_handler() in sublimepty that gracefully closes all processes and cleans supervisor