mirror of
https://github.com/enso-org/enso.git
synced 2025-01-08 13:17:22 +03:00
8c70ba7041
close #8426 It is safe to kill the receiver actor when closing the connection. Otherwise, it will be cleaned up only on the actor system shutdown. |
||
---|---|---|
.. | ||
src | ||
README.md |
Project Manager
This library implements the functionality and messages backing the project manager component of the Enso Protocol.