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

Sync with what's already submitted to the AoC server #31

Open
daxhuiberts opened this issue Dec 1, 2021 · 3 comments
Open

Sync with what's already submitted to the AoC server #31

daxhuiberts opened this issue Dec 1, 2021 · 3 comments
Labels
enhancement New feature or request

Comments

@daxhuiberts
Copy link

daxhuiberts commented Dec 1, 2021

First of all, this is a fantastic little tool I just found! Thanks for creating this!

I've already completed the first day and manually submitted the answers and only then installed this tool. But now I don't know how to get the local cache to be in sync with what's already submitted to the server. I'm not able to submit an already submitted answer. Any ideas on how to get this in sync?

@daxhuiberts daxhuiberts changed the title Sync with AoC server Sync with what's already submitted to the AoC server Dec 1, 2021
@nuxeh
Copy link
Owner

nuxeh commented Dec 1, 2021

@daxhuiberts glad to hear you find it useful!

So aocf has an internal state machine, which tracks the status of each problem locally, without any syncing. Once it receives a successful response from the server the state is updated.

You could edit the day caches under .aocf manually to update the reporting, is one option.

The Aoc type has an advance method, which is not broken out into the CLI. I guess that could be a useful thing to have, based on this issue.

But syncing would be a very useful feature to have, too. The state machine approach is clearly quite fallible, and it is entirely possible that it could get out of sync.

@nuxeh nuxeh added the enhancement New feature or request label Dec 1, 2021
@nuxeh
Copy link
Owner

nuxeh commented Dec 1, 2021

Hmm, thinking about it, it might be possible to use the leaderboard API for this

@daxhuiberts
Copy link
Author

Thank you for your answer. After finishing the 2nd day I figured out the structure to use to manually fix the 1st day.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants