# HG changeset patch
# User heiko
# Date 1420647354 -3600
# Node ID 3ea8010e4fbc15ccdb4fb4988dc1cd8bc7bf7c00
# Parent  e21e904c132041ed8fe44be879714f54cd3cd6b8# Parent  07827090c4fc44a2accb830681d699d7afa15c39
[merged]

diff -r 07827090c4fc -r 3ea8010e4fbc plugins/check_dns-delegation
--- a/plugins/check_dns-delegation	Wed Jan 07 16:34:53 2015 +0100
+++ b/plugins/check_dns-delegation	Wed Jan 07 17:15:54 2015 +0100
@@ -116,7 +116,7 @@
 
         if ($src =~ m{^local:}) {
             push @domains, get_local_zones;
-            push @domains, @{$arg{local}} if $arg{override};
+            push @domains, @{$arg{local}} if $arg{local};
             next;
         }