Ticket #246: 0001-Retrieve-port-as-int-if-string-fails.patch

File 0001-Retrieve-port-as-int-if-string-fails.patch, 1.0 KB (added by pingou, 21 months ago)
  • src/guake.py

    From a40cd4168113c80159a984b0346c36a7d5d639e3 Mon Sep 17 00:00:00 2001
    From: pingou <pingou@pingoured.fr>
    Date: Mon, 23 Aug 2010 09:30:12 +0200
    Subject: [PATCH] Retrieve port as int if string fails
    
    ---
     src/guake.py |    5 ++++-
     1 files changed, 4 insertions(+), 1 deletions(-)
    
    diff --git a/src/guake.py b/src/guake.py
    index 6214fb2..91752ac 100644
    a b  
    10991099                ssl_port = port 
    11001100            else: 
    11011101                ssl_host = self.client.get_string('/system/proxy/secure_host') 
    1102                 ssl_port = self.client.get_string('/system/proxy/secure_port') 
     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') 
    11031106 
    11041107            if self.client.get_bool(proxy + 'use_authentication'): 
    11051108                auth_user = self.client.get_string(