| Index: global_config.ini
 | 
| diff --git a/global_config.ini b/global_config.ini
 | 
| index 6f721f92d9d44f21ab428c2a9e4f5369bf5cb414..f794cb11c744998ae41748eef9e50f7bee14de26 100644
 | 
| --- a/global_config.ini
 | 
| +++ b/global_config.ini
 | 
| @@ -77,7 +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
 | 
| +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:
 | 
| 
 |