From 9a6dcbf895f9da01768e64b73cec88c16157d91e Mon Sep 17 00:00:00 2001
From: Michael Biebl
“dns-priority” gint
DNS servers priority.
The relative priority for DNS servers specified by this setting. A lower -value is better (higher priority). Zero selects the default value, which -is 50 for VPNs and 100 for other connections.
+value is better (higher priority). Zero selects a globally configured +default value. If the latter is missing or zero too, it defaults to +50 for VPNs and 100 for other connections.Note that the priority is to order DNS settings for multiple active connections. It does not disambiguate multiple DNS servers within the same connection profile.
-- cgit 1.3.0-6-gf8a5