byteayan opened a new pull request, #502: URL: https://github.com/apache/hugegraph-doc/pull/502
## Purpose of the PR - link apache/hugegraph#3244 apache/hugegraph#3244 removes `server.role_election` and the six `server.role.*` options from the server. None of them has had any effect since apache/hugegraph#3082 turned off the legacy master-worker scheduler. This deletes the `server.role_election` row from the rest-server table and the collapsed "Role Election Config Options" block from `docs/config/config-option.md`, in both the en and cn pages. It should merge together with apache/hugegraph#3244. The change only removes content; I did not build the site locally. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
