-
Notifications
You must be signed in to change notification settings - Fork 19
app_store: new API and split backend #472
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
Conversation
record download-request { | ||
package-id: package-id, | ||
download-from: option<string>, // note, might be too much implicit complexity, | ||
// but: download-from received locally, is an instruction where to download-from | ||
// and if received from remote, is an instruction where to send, where the "download-from" came from. | ||
desired-version-hash: string, | ||
} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
refactor into remote-download-request with no download-from
field, and local-download-request with download-from: string
|
||
record download-response { | ||
success: bool, | ||
error: option<string>, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
change error
into an enum type that lists all possible download errors, change download-response
into a Result at the top level, so like Result<(), DownloadError>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
make sure to delete this from final PR
merging into develop now, I'll tweak the UI slightly with a separate PR later, hiding some of the more advanced features from users by default to not overload the pages. |
WIP