Reflect option in the default config.

diff --git a/conf/options.conf b/conf/options.conf
index 841372ec23a0505360aff022dd1dc3bc63dc7f68..1dd1ebfb82f6a805fcd7fe79939815ccc2a46ea7 100644 (file)
--- a/conf/options.conf
+++ b/conf/options.conf
@@ -6,6 +6,7 @@ options {
     raw_mode = false;
     one_shot = false;
     dns_timeout = 1s;
+       dns_sockets = 16;
     dns_retransmits = 5;
     cache_file = "$DBDIR/symbols.cache";
     map_watch_interval = 1min;