changeset 175:8537df794f74

Primitivus: gateways: current server is now shown in title
author Goffi <goffi@goffi.org>
date Thu, 12 Aug 2010 19:35:56 +0800
parents fbae69247b15
children a50953ac6191
files frontends/primitivus/gateways.py plugins/plugin_xep_0100.py
diffstat 2 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/frontends/primitivus/gateways.py	Thu Aug 12 18:27:42 2010 +0800
+++ b/frontends/primitivus/gateways.py	Thu Aug 12 19:35:56 2010 +0800
@@ -29,6 +29,8 @@
 
     def __init__(self, host, gateways, title=_("Gateways manager"), server=None):
         QuickGatewaysManager.__init__(self, host, gateways, server)
+        if server:
+            title+=" (%s)" % server
         widget_list = urwid.SimpleListWalker([])
         widget_list.append(urwid.Text(self.WARNING_MSG))
         widget_list.append(urwid.Divider('-'))
--- a/plugins/plugin_xep_0100.py	Thu Aug 12 18:27:42 2010 +0800
+++ b/plugins/plugin_xep_0100.py	Thu Aug 12 19:35:56 2010 +0800
@@ -88,6 +88,7 @@
 
         self.__gateways[request_id] = {'__total_items':len(disco._items), '__handled_items':0, '__private__':{'target':target.full()}}
         for item in disco._items:
+            #TODO: need to set a timeout for theses requests
             debug (_("item found: %s"), item.name)
             client.disco.requestInfo(item.entity).addCallback(self.discoInfo, entity=item.entity, request_id=request_id).addErrback(self.discoInfoErr, entity=item.entity, request_id=request_id)