Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

sss: Distinguish between an empty path and a wiped path #6398

Merged
merged 2 commits into from Mar 17, 2023

Conversation

wicrum-wicrun
Copy link
Contributor

@wicrum-wicrun wicrum-wicrun commented Mar 16, 2023

Closes #6397

Forgot a step in my ;: chain, and had the wrong "base case". Also cleaned up the logic, ?: seems clearer than ?..

The logic here is: When trying to serve a wave w' that doesn't exist, we only assume that it was deleted (i.e. send a %yore)

  • if the last known wave w exists, then only if w' < w
  • otherwise, if the last known rock r exists, then only if w' ≤ r.

In all other cases, including when neither w nor r exist, the requested wave is in the future and should result in a %nigh.

Shout out to @rabsef-bicrym who discovered the mistake. :)

Side note: using the irregular forms of tisgal and miccol together seems to break Github's syntax highlighting. Do we know who is responsible for this?

@belisarius222 belisarius222 merged commit 953b4bb into develop Mar 17, 2023
@belisarius222 belisarius222 deleted the i/6397/distinguish-empty-from-wiped branch March 17, 2023 15:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

sss: Subscribing on path without waves results in infinite loop
2 participants