Repository navigation

Add support to shutdown a language server when idle #97

Open

Labels

feature-request

Milestone

Erich Gamma (egamma)

opened

on Sep 15, 2016

We are no running several language servers and we should add support to shut them down when they are idles for a period of time.

Erich Gamma (egamma)
added
feature request
on Sep 15, 2016
Dirk Bäumer (dbaeumer)
added this to the September 2016 milestone on Sep 19, 2016
Dirk Bäumer (dbaeumer)
modified the milestones: September 2016, November 2016 on Oct 14, 2016
Dirk Bäumer (dbaeumer)
modified the milestones: , November 2016 on Feb 1, 2017
Dirk Bäumer (dbaeumer)
modified the milestones: 4.0, Backlog on Oct 24, 2019
Dirk Bäumer (dbaeumer)
added
feature-requestRequest for new features or functionality
and removed
feature request
on Nov 17, 2023

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

feature-request

Type

No type

Projects

No projects

Milestone

BacklogNo due date

Relationships

None yet

Development

No branches or pull requests