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: |