comparison frontends/src/tools/misc.py @ 1088:b29452cab50b

core, memory, plugins, stdui, frontends: look for DNS SRV records when server is not specified: - fix bug 3 - modify "Connection" params: - rename "Server" to "Force server" and "Port" to "Force port" - set the default value to empty string for both
author souliane <souliane@mailoo.org>
date Mon, 23 Jun 2014 00:44:10 +0200
parents 1fe00f0c9a91
children 0dca4f9b264d
comparison
equal deleted inserted replaced
1087:b3b7a2863060 1088:b29452cab50b