From 4584da7b79d8e5f6e6ad0bfe2304d7ff2cd72c4b Mon Sep 17 00:00:00 2001
From: pingou <pingou@pingoured.fr>
Date: Mon, 23 Aug 2010 09:50:59 +0200
Subject: [PATCH] Retrieve port as int
---
src/guake.py | 5 +----
1 files changed, 1 insertions(+), 4 deletions(-)
diff --git a/src/guake.py b/src/guake.py
index 91752ac..40e688f 100644
|
a
|
b
|
|
| 1099 | 1099 | ssl_port = port |
| 1100 | 1100 | else: |
| 1101 | 1101 | ssl_host = self.client.get_string('/system/proxy/secure_host') |
| 1102 | | try: |
| 1103 | | ssl_port = self.client.get_string('/system/proxy/secure_port') |
| 1104 | | except GError: |
| 1105 | | ssl_port = self.client.get_int('/system/proxy/secure_port') |
| | 1102 | ssl_port = self.client.get_int('/system/proxy/secure_port') |
| 1106 | 1103 | |
| 1107 | 1104 | if self.client.get_bool(proxy + 'use_authentication'): |
| 1108 | 1105 | auth_user = self.client.get_string( |