| // See values.json5 for the explanation of the values seen below. | |
| { | |
| https_timeout_sec: 10, | |
| standard_deviation_bound_percentage: 30, | |
| first_rtt_time_factor: 5, | |
| // Pull API is turned on in this time source. | |
| use_pull_api: true, | |
| max_attempts_urgency_low: 3, | |
| num_polls_urgency_low: 7, | |
| max_attempts_urgency_medium: 3, | |
| num_polls_urgency_medium: 5, | |
| max_attempts_urgency_high: 3, | |
| num_polls_urgency_high: 3, | |
| } |