Manage LSP Server Termination

schubmat / Custom-MADE

Custom-MAnangement of DEcision -- A DSL based approach to capture and manage your decisions during a software development project

MIT License

5 stars 3 forks source link

Manage LSP Server Termination #14

Closed schubmat closed 2 years ago

schubmat commented 3 years ago

The termination of all connected LSP Server instances is yet to be optimised. It should be augmented by the following behaviours.

[x] Once a user terminates his/her session, all connected LSPs will be terminated.
[x] Once the user authentication times out, all connected LSPs will be terminated.

In other words, as soon as a LSP Server instance is not used anymore it should be terminated to save resources.

rrcomtech commented 3 years ago

Is this still open? Both tasks seem to be done, since they are managed by Theia.

schubmat commented 3 years ago

@rrcomtech Actually, it has not yet been done entirely. The backend still contains code to start / terminate running LSP instances. It should be freed from it before closing this issue I'd say. Any objections?

rrcomtech commented 3 years ago

@schubmat No, I have no objections. This is a very good point.

schubmat commented 2 years ago

@rrcomtech done