-
Notifications
You must be signed in to change notification settings - Fork 284
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
Support pool.sync_updates from remote_pool repo #6108
Changes from all commits
77de0da
8e1bc73
e2aa82e
c710e8f
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -1926,6 +1926,16 @@ let _ = | |
"If the bundle repository or remote_pool repository is enabled, it \ | ||
should be the only one enabled repository of the pool." | ||
() ; | ||
error Api_errors.update_syncing_remote_pool_coordinator_connection_failed [] | ||
~doc: | ||
"There was an error connecting to the remote pool coordinator while \ | ||
syncing updates from it." | ||
() ; | ||
error Api_errors.update_syncing_remote_pool_coordinator_service_failed [] | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. To be useful to the user, how about to use "HOST_OFFLINE"? There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. This error corresponds to the error during pool join: |
||
~doc: | ||
"There was an error connecting to the server while syncing updates from \ | ||
it. The service contacted didn't reply properly." | ||
() ; | ||
error Api_errors.repository_is_in_use [] ~doc:"The repository is in use." () ; | ||
error Api_errors.repository_cleanup_failed [] | ||
~doc:"Failed to clean up local repository on coordinator." () ; | ||
|
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.
I think the context of the error is clear as it would happen when a pool.sync_updates. It could be as simple as "CANNOT_CONTACT_HOST".
But the authentication (incorrect password) may fail with this error also. So the possible causes should be mentioned in the message.
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.
The authentication (incorrect password) failure will fail with another error:
update_syncing_remote_pool_coordinator_service_failed
.And we have a corresponding error
pool_joining_host_connection_failed
.If we change it to a general one, I think we will need to provide more info like the address and port of the host which failed to be contacted, like the other existing one:
error Api_errors.tls_connection_failed ["address"; "port"]