allegroai d3ffdf92e8 Delete old sessions only after a successful session was created (this ensures we do not delete workspaces unless we have a new successful session)

2024-05-20 15:54:40 +03:00

..

__init__.py

Initial release

2020-12-22 21:32:02 +02:00

__main__.py

Delete old sessions only after a successful session was created (this ensures we do not delete workspaces unless we have a new successful session)

2024-05-20 15:54:40 +03:00

interactive_session_task.py

Add finer grade ssh port routing

2024-05-20 15:53:14 +03:00

single_thread_proxy.py

Fix deprecated call

2023-02-11 23:13:47 +02:00

tcp_proxy.py

Fix deprecated call

2023-02-11 23:13:47 +02:00

version.py

Version bump to v0.14.0

2024-04-20 23:46:30 +03:00