# HG changeset patch
# User Heiko Schlittermann (JUMPER) <hs@schlittermann.de>
# Date 1418162318 -3600
# Node ID 0d428ce0839a9f74190d2bb5c53f8258818583b3
# Parent  c32177d893a572c4b6c7885de8f397580e375ef6
added $db option to config

diff -r c32177d893a5 -r 0d428ce0839a log.pl
--- a/log.pl	Tue Dec 09 22:56:42 2014 +0100
+++ b/log.pl	Tue Dec 09 22:58:38 2014 +0100
@@ -63,7 +63,7 @@
 my $MAGIC    = "#--- all changes below are ignored ---#\n";
 my $NODENAME = (split /\./, hostname)[0];
 
-my $opt_db      = 1;
+my $opt_db      = $config::db // 1;
 my $opt_mail    = 1;
 my $opt_message = "";
 my $opt_apt     = "";