From dfa2d205aa2b3b1c48251996c143d9a9e80903f1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Krier?= Date: Tue, 12 Apr 2011 16:55:17 +0200 Subject: [PATCH] Use default port of entry_host doesn't have one --- tryton/gui/window/dblogin.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tryton/gui/window/dblogin.py b/tryton/gui/window/dblogin.py index 44f33552e1..fd2d0ee691 100644 --- a/tryton/gui/window/dblogin.py +++ b/tryton/gui/window/dblogin.py @@ -564,7 +564,8 @@ class DBLogin(object): if active_profile != -1: profile = self.profile_store[active_profile][0] CONFIG['login.profile'] = profile - host, port = self.entry_host.get_text().split(':', 1) + host, port = (self.entry_host.get_text().split(':', 1) + + ['8070'])[:2] database = self.entry_database.get_text() login = self.entry_login.get_text() CONFIG['login.server'] = host