Revision ad6603adb8c6f53d1eba2d1999fc040a13522831 authored by Romain Bardou on 31 January 2020, 15:11:25 UTC, committed by Romain Bardou on 04 February 2020, 13:16:49 UTC
Before, the client took ~1s to start.
With 8 attempts, it thus added 8s to the delay we allowed the node to start.
Now that the client starts almost instantly, we gave 8 less seconds to the node,
even though it only starts 1s faster.

By setting the number of attempts to 12, we add about 20s allowed delay.
1 parent 5aa4141
Raw File
.gitattributes
.gitignore	export-ignore
.gitattributes	export-ignore
.gitlab-ci.yml	export-ignore
src/lib_version/current_git_info.ml	export-subst
back to top