mirror of
https://github.com/enso-org/enso.git
synced 2024-12-20 11:01:35 +03:00
f2779cfea4
When `PROFILING_FILENAME` and `PROFILING_TIME` are set, language server will collect profiling data on startup and place it under `/opt/enso/profiling/$PROFILING_NAME` where it can be fetched from. Needed to better analyze #9789. |
||
---|---|---|
.. | ||
src | ||
README.md |
Project Manager
This library implements the functionality and messages backing the project manager component of the Enso Protocol.