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

contacts: fix incorrect profile timestamp after migration #294

Merged
merged 1 commit into from
Nov 11, 2024

Commits on Oct 29, 2024

  1. contacts: fix incorrect profile timestamp after migration

    During %0 to %1 migration, empty profiles have been wrongly
    migrated with bunted timestamp, causing the subscribers
    to crash on resubscription due to a failing assert. We
    fix this by introducing several changes:
    - bump the state number to %2
    - initalize the profile with correct now.bowl timestamp in +on-init
    - deploy migration to fix affected profiles
    - re-enable the assertion prohibiting subscriptions
      to a future-dated profile
    
    Additionally, the +subs:pub arm is amended to never generate
    an empty path list for a fact.
    mikolajpp committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    6f47856 View commit details
    Browse the repository at this point in the history