Commit Graph

7 Commits (f-langserver)

Author SHA1 Message Date
Sander van Harmelen 394f20f59c backend/remote: do not unlock after a failed upload
7 years ago
Sander van Harmelen fe05609c5e backend/remote: support the new force-unlock API
8 years ago
Sander van Harmelen 52a1b22f7a Implement the remote enhanced backend
8 years ago
Martin Atkins 541952bb8f Revert some work that happened since v0.12-dev branched
8 years ago
Sander van Harmelen ea88daa499 backend/remote: add support for state locking
8 years ago
Sander van Harmelen cd6d75bc03 backend/remote: add the run ID to associate state
8 years ago
Sander van Harmelen 7fb2d1b8de Implement the Enterprise enhanced remote backend
8 years ago