Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | build: move modules into subproject directory | 2021-12-12 | |
| | |||
* | fix(web): not dot display spurious occurrences | 2021-10-31 | |
| | | | | | | Only return find occurrences results for NamedElement instances, as other objects cannot be referenced by name and thus cannot have any references at all. | ||
* | fix(web): fix push message race condition | 2021-10-31 | |
| | | | | | | | | | | | | | | In some resource-constrained environments (e.g., my VPS with 2 vCPUs), it was possible for validation and highlighting precomputation to be finished before the server responded to a deltaText updating completion request (updating completion take longer than a normal update, because they also have to compute the completions). Therefore, the client received push messages about a stateId it didn't know about yet. To fix this, we delay any push messages originating during servicing a call to be sent after the call is serviced. Thus the client first receives the updating completion response with the new stateId, followed by the push messages relating to that stateId. | ||
* | feat(web): application-level pings | 2021-10-31 | |
| | |||
* | feat(web): add xtext websocket client | 2021-10-31 | |
| | |||
* | test(web): more websocket integration tests | 2021-10-31 | |
| | |||
* | test(web): websockets fixes and tests | 2021-10-31 | |
| | |||
* | feat(web): push precomputed service results | 2021-10-31 | |
| | |||
* | feat(web): batched xtext websocket prototype | 2021-10-31 | |
| | |||
* | feat(web): batch operations for websocket protocol | 2021-10-31 | |
| | |||
* | feat(web): better websocket logging | 2021-10-31 | |
| | |||
* | feat(web): add websocket server | 2021-10-31 | |
| | |||
* | chore(web): bump Jetty version | 2021-10-07 | |
| | | | | | | | Requred vendoring org.eclipse.xtext.web.servlet as tools.refinery.language.web.xtext due to the javax -> jakarta package name change: https://www.eclipse.org/lists/jetty-announce/msg00149.html | ||
* | chore: change package name | 2021-10-05 | |