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
At the moment, if a checkpoint fails part way through writing the .city file to disk (e.g., because of disk full) it will leave an invalid but validly-named .city file in the checkpoint directory.
The .city file should be created atomically (i.e., by renaming a .city.partial file or similar).
Failed attempts to write this file should clean up after themselves.
The text was updated successfully, but these errors were encountered:
At the moment, if a checkpoint fails part way through writing the
.city
file to disk (e.g., because of disk full) it will leave an invalid but validly-named.city
file in the checkpoint directory..city
file should be created atomically (i.e., by renaming a.city.partial
file or similar).The text was updated successfully, but these errors were encountered: