| Index: global_config.ini
 | 
| diff --git a/global_config.ini b/global_config.ini
 | 
| index aa13701fd927744da3ee5a12bffcd2d225716fe3..8a603b9db7ff3b1093d3f448ca1b6c67effa02ec 100644
 | 
| --- a/global_config.ini
 | 
| +++ b/global_config.ini
 | 
| @@ -77,6 +77,7 @@ max_pidfile_refreshes: 2000
 | 
|  gc_stats_interval_mins: 360
 | 
|  # set nonzero to enable periodic reverification of all dead hosts
 | 
|  reverify_period_minutes: 0
 | 
| +reverify_max_hosts_at_once: 0 
 | 
|  drone_sets_enabled: False
 | 
|  # default_drone_set_name: This is required if drone sets are enabled.
 | 
|  default_drone_set_name:
 | 
| 
 |