You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
To make this useful, the server should that also return a "time" with each other request in the current bulk protocol. Otherwise the client does not have the information to know from which time to ask for delta.
If we support this, it will take away the necessity to return the current nodes when subscribing, because the following scenario will simply work:
Client requests partitions
Client requests full AST for partition P
Server returns chunk for partition P + the "time-marker" TM at which this chunk was taken.
Some delta clients might be interested in updates that happened during the client's absence, e.g. auto fixer.
Can this client ask the repository to "replay" all deltas since some time in the past?
How would it specify that time?
The text was updated successfully, but these errors were encountered: