blob: 3fde26dc261bf819a2bf8bca5b77a432800e6359 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
From efcd1d8d3cdc354f46bc2485e7e3394f8578b7ba Mon Sep 17 00:00:00 2001
From: pingou <pingou@pingoured.fr>
Date: Mon, 23 Aug 2010 09:54:35 +0200
Subject: [PATCH] Retrieve port as int
---
src/guake.py | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/src/guake.py b/src/guake.py
index 6214fb2..40e688f 100644
--- a/src/guake.py
+++ b/src/guake.py
@@ -1099,7 +1099,7 @@ class Guake(SimpleGladeApp):
ssl_port = port
else:
ssl_host = self.client.get_string('/system/proxy/secure_host')
- ssl_port = self.client.get_string('/system/proxy/secure_port')
+ ssl_port = self.client.get_int('/system/proxy/secure_port')
if self.client.get_bool(proxy + 'use_authentication'):
auth_user = self.client.get_string(
--
1.7.2.1
|
