From d3cb659541c7f5b0a0c9910e8f8c6b030c5f43f8 Mon Sep 17 00:00:00 2001 From: Nick Mathewson Date: Tue, 17 Nov 2015 09:37:50 -0500 Subject: [PATCH] Fix a server-side crash on DNS init --- src/or/main.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/or/main.c b/src/or/main.c index b63b81eb7e..db6d726306 100644 --- a/src/or/main.c +++ b/src/or/main.c @@ -2201,8 +2201,10 @@ dns_servers_relaunch_checks(void) { if (server_mode(get_options())) { dns_reset_correctness_checks(); - tor_assert(check_dns_honesty_event); - periodic_event_reschedule(check_dns_honesty_event); + if (periodic_events_initialized) { + tor_assert(check_dns_honesty_event); + periodic_event_reschedule(check_dns_honesty_event); + } } }