enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-12-23 16:15:11 +03:00
Code Issues Projects Releases Wiki Activity
930f3c593e
enso/lib/scala/project-manager
History
Hubert Plociniczak f2779cfea4
Allow for profiling startup in dockerized setting (#9865) 
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.
2024-05-06 15:04:54 +00:00
..
src Allow for profiling startup in dockerized setting (#9865) 2024-05-06 15:04:54 +00:00
README.md Add a markdown style guide (#1022) 2020-07-21 13:59:40 +01:00

README.md

Project Manager

This library implements the functionality and messages backing the project manager component of the Enso Protocol.