41
36
from dbus.mainloop.glib import DBusGMainLoop
 
45
 
    from gi.repository import GObject as gobject
 
51
 
if sys.version_info.major == 2:
 
54
 
locale.setlocale(locale.LC_ALL, '')
 
 
45
locale.setlocale(locale.LC_ALL, u'')
 
57
48
logging.getLogger('dbus.proxies').setLevel(logging.CRITICAL)
 
59
50
# Some useful constants
 
60
 
domain = 'se.recompile'
 
 
51
domain = 'se.bsnet.fukt'
 
61
52
server_interface = domain + '.Mandos'
 
62
53
client_interface = domain + '.Mandos.Client'
 
66
 
    dbus.OBJECT_MANAGER_IFACE
 
67
 
except AttributeError:
 
68
 
    dbus.OBJECT_MANAGER_IFACE = "org.freedesktop.DBus.ObjectManager"
 
 
56
# Always run in monochrome mode
 
 
57
urwid.curses_display.curses.has_colors = lambda : False
 
 
59
# Urwid doesn't support blinking, but we want it.  Since we have no
 
 
60
# use for underline on its own, we make underline also always blink.
 
 
61
urwid.curses_display.curses.A_UNDERLINE |= (
 
 
62
    urwid.curses_display.curses.A_BLINK)
 
70
64
def isoformat_to_datetime(iso):
 
71
65
    "Parse an ISO 8601 date string to a datetime.datetime()"
 
74
 
    d, t = iso.split("T", 1)
 
75
 
    year, month, day = d.split("-", 2)
 
76
 
    hour, minute, second = t.split(":", 2)
 
 
68
    d, t = iso.split(u"T", 1)
 
 
69
    year, month, day = d.split(u"-", 2)
 
 
70
    hour, minute, second = t.split(u":", 2)
 
77
71
    second, fraction = divmod(float(second), 1)
 
78
72
    return datetime.datetime(int(year),
 
 
88
82
    properties and calls a hook function when any of them are
 
91
 
    def __init__(self, proxy_object=None, properties=None, **kwargs):
 
 
85
    def __init__(self, proxy_object=None, *args, **kwargs):
 
92
86
        self.proxy = proxy_object # Mandos Client proxy object
 
93
 
        self.properties = dict() if properties is None else properties
 
94
 
        self.property_changed_match = (
 
95
 
            self.proxy.connect_to_signal("PropertiesChanged",
 
96
 
                                         self.properties_changed,
 
97
 
                                         dbus.PROPERTIES_IFACE,
 
100
 
        if properties is None:
 
101
 
            self.properties.update(
 
102
 
                self.proxy.GetAll(client_interface,
 
104
 
                                  = dbus.PROPERTIES_IFACE))
 
106
 
        super(MandosClientPropertyCache, self).__init__(**kwargs)
 
 
88
        self.properties = dict()
 
 
89
        self.proxy.connect_to_signal(u"PropertyChanged",
 
 
90
                                     self.property_changed,
 
 
94
        self.properties.update(
 
 
95
            self.proxy.GetAll(client_interface,
 
 
96
                              dbus_interface = dbus.PROPERTIES_IFACE))
 
 
98
        #XXX This break good super behaviour!
 
 
99
#        super(MandosClientPropertyCache, self).__init__(
 
108
 
    def properties_changed(self, interface, properties, invalidated):
 
109
 
        """This is called whenever we get a PropertiesChanged signal
 
110
 
        It updates the changed properties in the "properties" dict.
 
 
102
    def property_changed(self, property=None, value=None):
 
 
103
        """This is called whenever we get a PropertyChanged signal
 
 
104
        It updates the changed property in the "properties" dict.
 
112
106
        # Update properties dict with new value
 
113
 
        if interface == client_interface:
 
114
 
            self.properties.update(properties)
 
117
 
        self.property_changed_match.remove()
 
 
107
        self.properties[property] = value
 
120
110
class MandosClientWidget(urwid.FlowWidget, MandosClientPropertyCache):
 
 
133
123
        self.logger = logger
 
135
125
        self._update_timer_callback_tag = None
 
 
126
        self._update_timer_callback_lock = 0
 
 
127
        self.last_checker_failed = False
 
137
129
        # The widget shown normally
 
138
 
        self._text_widget = urwid.Text("")
 
 
130
        self._text_widget = urwid.Text(u"")
 
139
131
        # The widget shown when we have focus
 
140
 
        self._focus_text_widget = urwid.Text("")
 
141
 
        super(MandosClientWidget, self).__init__(**kwargs)
 
 
132
        self._focus_text_widget = urwid.Text(u"")
 
 
133
        super(MandosClientWidget, self).__init__(
 
 
134
            update_hook=update_hook, delete_hook=delete_hook,
 
143
137
        self.opened = False
 
145
 
        self.match_objects = (
 
146
 
            self.proxy.connect_to_signal("CheckerCompleted",
 
147
 
                                         self.checker_completed,
 
150
 
            self.proxy.connect_to_signal("CheckerStarted",
 
151
 
                                         self.checker_started,
 
154
 
            self.proxy.connect_to_signal("GotSecret",
 
158
 
            self.proxy.connect_to_signal("NeedApproval",
 
162
 
            self.proxy.connect_to_signal("Rejected",
 
166
 
        self.logger('Created client {}'
 
167
 
                    .format(self.properties["Name"]), level=0)
 
 
139
        last_checked_ok = isoformat_to_datetime(self.properties
 
 
141
        if last_checked_ok is None:
 
 
142
            self.last_checker_failed = True
 
 
144
            self.last_checker_failed = ((datetime.datetime.utcnow()
 
 
151
        if self.last_checker_failed:
 
 
152
            self.using_timer(True)
 
 
154
        if self.need_approval:
 
 
155
            self.using_timer(True)
 
 
157
        self.proxy.connect_to_signal(u"CheckerCompleted",
 
 
158
                                     self.checker_completed,
 
 
161
        self.proxy.connect_to_signal(u"CheckerStarted",
 
 
162
                                     self.checker_started,
 
 
165
        self.proxy.connect_to_signal(u"GotSecret",
 
 
169
        self.proxy.connect_to_signal(u"NeedApproval",
 
 
173
        self.proxy.connect_to_signal(u"Rejected",
 
 
178
    def property_changed(self, property=None, value=None):
 
 
179
        super(self, MandosClientWidget).property_changed(property,
 
 
181
        if property == u"ApprovalPending":
 
 
182
            using_timer(bool(value))
 
169
184
    def using_timer(self, flag):
 
170
185
        """Call this method with True or False when timer should be
 
171
186
        activated or deactivated.
 
173
 
        if flag and self._update_timer_callback_tag is None:
 
174
 
            # Will update the shown timer value every second
 
 
188
        old = self._update_timer_callback_lock
 
 
190
            self._update_timer_callback_lock += 1
 
 
192
            self._update_timer_callback_lock -= 1
 
 
193
        if old == 0 and self._update_timer_callback_lock:
 
175
194
            self._update_timer_callback_tag = (gobject.timeout_add
 
177
196
                                                self.update_timer))
 
178
 
        elif not (flag or self._update_timer_callback_tag is None):
 
 
197
        elif old and self._update_timer_callback_lock == 0:
 
179
198
            gobject.source_remove(self._update_timer_callback_tag)
 
180
199
            self._update_timer_callback_tag = None
 
182
201
    def checker_completed(self, exitstatus, condition, command):
 
183
202
        if exitstatus == 0:
 
184
 
            self.logger('Checker for client {} (command "{}")'
 
185
 
                        ' succeeded'.format(self.properties["Name"],
 
 
203
            if self.last_checker_failed:
 
 
204
                self.last_checker_failed = False
 
 
205
                self.using_timer(False)
 
 
206
            #self.logger(u'Checker for client %s (command "%s")'
 
 
208
            #            % (self.properties[u"Name"], command))
 
 
212
        if not self.last_checker_failed:
 
 
213
            self.last_checker_failed = True
 
 
214
            self.using_timer(True)
 
190
215
        if os.WIFEXITED(condition):
 
191
 
            self.logger('Checker for client {} (command "{}") failed'
 
193
 
                        .format(self.properties["Name"], command,
 
194
 
                                os.WEXITSTATUS(condition)))
 
 
216
            self.logger(u'Checker for client %s (command "%s")'
 
 
217
                        u' failed with exit code %s'
 
 
218
                        % (self.properties[u"Name"], command,
 
 
219
                           os.WEXITSTATUS(condition)))
 
195
220
        elif os.WIFSIGNALED(condition):
 
196
 
            self.logger('Checker for client {} (command "{}") was'
 
197
 
                        ' killed by signal {}'
 
198
 
                        .format(self.properties["Name"], command,
 
199
 
                                os.WTERMSIG(condition)))
 
 
221
            self.logger(u'Checker for client %s (command "%s")'
 
 
222
                        u' was killed by signal %s'
 
 
223
                        % (self.properties[u"Name"], command,
 
 
224
                           os.WTERMSIG(condition)))
 
 
225
        elif os.WCOREDUMP(condition):
 
 
226
            self.logger(u'Checker for client %s (command "%s")'
 
 
228
                        % (self.properties[u"Name"], command))
 
 
230
            self.logger(u'Checker for client %s completed'
 
202
234
    def checker_started(self, command):
 
203
 
        """Server signals that a checker started."""
 
204
 
        self.logger('Client {} started checker "{}"'
 
205
 
                    .format(self.properties["Name"],
 
 
235
        #self.logger(u'Client %s started checker "%s"'
 
 
236
        #            % (self.properties[u"Name"], unicode(command)))
 
208
239
    def got_secret(self):
 
209
 
        self.logger('Client {} received its secret'
 
210
 
                    .format(self.properties["Name"]))
 
 
240
        self.last_checker_failed = False
 
 
241
        self.logger(u'Client %s received its secret'
 
 
242
                    % self.properties[u"Name"])
 
212
244
    def need_approval(self, timeout, default):
 
214
 
            message = 'Client {} needs approval within {} seconds'
 
 
246
            message = u'Client %s needs approval within %s seconds'
 
216
 
            message = 'Client {} will get its secret in {} seconds'
 
217
 
        self.logger(message.format(self.properties["Name"],
 
 
248
            message = u'Client %s will get its secret in %s seconds'
 
 
250
                    % (self.properties[u"Name"], timeout/1000))
 
 
251
        self.using_timer(True)
 
220
253
    def rejected(self, reason):
 
221
 
        self.logger('Client {} was rejected; reason: {}'
 
222
 
                    .format(self.properties["Name"], reason))
 
 
254
        self.logger(u'Client %s was rejected; reason: %s'
 
 
255
                    % (self.properties[u"Name"], reason))
 
224
257
    def selectable(self):
 
225
258
        """Make this a "selectable" widget.
 
226
259
        This overrides the method from urwid.FlowWidget."""
 
229
 
    def rows(self, maxcolrow, focus=False):
 
 
262
    def rows(self, (maxcol,), focus=False):
 
230
263
        """How many rows this widget will occupy might depend on
 
231
264
        whether we have focus or not.
 
232
265
        This overrides the method from urwid.FlowWidget"""
 
233
 
        return self.current_widget(focus).rows(maxcolrow, focus=focus)
 
 
266
        return self.current_widget(focus).rows((maxcol,), focus=focus)
 
235
268
    def current_widget(self, focus=False):
 
236
269
        if focus or self.opened:
 
 
240
273
    def update(self):
 
241
274
        "Called when what is visible on the screen should be updated."
 
242
275
        # How to add standout mode to a style
 
243
 
        with_standout = { "normal": "standout",
 
244
 
                          "bold": "bold-standout",
 
246
 
                              "underline-blink-standout",
 
247
 
                          "bold-underline-blink":
 
248
 
                              "bold-underline-blink-standout",
 
 
276
        with_standout = { u"normal": u"standout",
 
 
277
                          u"bold": u"bold-standout",
 
 
279
                              u"underline-blink-standout",
 
 
280
                          u"bold-underline-blink":
 
 
281
                              u"bold-underline-blink-standout",
 
251
284
        # Rebuild focus and non-focus widgets using current properties
 
253
286
        # Base part of a client. Name!
 
254
 
        base = '{name}: '.format(name=self.properties["Name"])
 
255
 
        if not self.properties["Enabled"]:
 
257
 
            self.using_timer(False)
 
258
 
        elif self.properties["ApprovalPending"]:
 
 
287
        base = (u'%(name)s: '
 
 
288
                      % {u"name": self.properties[u"Name"]})
 
 
289
        if not self.properties[u"Enabled"]:
 
 
290
            message = u"DISABLED"
 
 
291
        elif self.properties[u"ApprovalPending"]:
 
259
292
            timeout = datetime.timedelta(milliseconds
 
260
293
                                         = self.properties
 
262
295
            last_approval_request = isoformat_to_datetime(
 
263
 
                self.properties["LastApprovalRequest"])
 
 
296
                self.properties[u"LastApprovalRequest"])
 
264
297
            if last_approval_request is not None:
 
265
 
                timer = max(timeout - (datetime.datetime.utcnow()
 
266
 
                                       - last_approval_request),
 
267
 
                            datetime.timedelta())
 
 
298
                timer = timeout - (datetime.datetime.utcnow()
 
 
299
                                   - last_approval_request)
 
269
301
                timer = datetime.timedelta()
 
270
 
            if self.properties["ApprovedByDefault"]:
 
271
 
                message = "Approval in {}. (d)eny?"
 
273
 
                message = "Denial in {}. (a)pprove?"
 
274
 
            message = message.format(str(timer).rsplit(".", 1)[0])
 
275
 
            self.using_timer(True)
 
276
 
        elif self.properties["LastCheckerStatus"] != 0:
 
277
 
            # When checker has failed, show timer until client expires
 
278
 
            expires = self.properties["Expires"]
 
280
 
                timer = datetime.timedelta(0)
 
282
 
                expires = (datetime.datetime.strptime
 
283
 
                           (expires, '%Y-%m-%dT%H:%M:%S.%f'))
 
284
 
                timer = max(expires - datetime.datetime.utcnow(),
 
285
 
                            datetime.timedelta())
 
286
 
            message = ('A checker has failed! Time until client'
 
288
 
                       .format(str(timer).rsplit(".", 1)[0]))
 
289
 
            self.using_timer(True)
 
 
302
            if self.properties[u"ApprovedByDefault"]:
 
 
303
                message = u"Approval in %s. (d)eny?"
 
 
305
                message = u"Denial in %s. (a)pprove?"
 
 
306
            message = message % unicode(timer).rsplit(".", 1)[0]
 
 
307
        elif self.last_checker_failed:
 
 
308
            timeout = datetime.timedelta(milliseconds
 
 
311
            last_ok = isoformat_to_datetime(
 
 
312
                max((self.properties[u"LastCheckedOK"]
 
 
313
                     or self.properties[u"Created"]),
 
 
314
                    self.properties[u"LastEnabled"]))
 
 
315
            timer = timeout - (datetime.datetime.utcnow() - last_ok)
 
 
316
            message = (u'A checker has failed! Time until client'
 
 
317
                       u' gets disabled: %s'
 
 
318
                           % unicode(timer).rsplit(".", 1)[0])
 
292
 
            self.using_timer(False)
 
293
 
        self._text = "{}{}".format(base, message)
 
 
321
        self._text = "%s%s" % (base, message)
 
295
323
        if not urwid.supports_unicode():
 
296
324
            self._text = self._text.encode("ascii", "replace")
 
297
 
        textlist = [("normal", self._text)]
 
 
325
        textlist = [(u"normal", self._text)]
 
298
326
        self._text_widget.set_text(textlist)
 
299
327
        self._focus_text_widget.set_text([(with_standout[text[0]],
 
 
309
337
            self.update_hook()
 
311
339
    def update_timer(self):
 
312
 
        """called by gobject. Will indefinitely loop until
 
313
 
        gobject.source_remove() on tag is called"""
 
315
342
        return True             # Keep calling this
 
317
 
    def delete(self, **kwargs):
 
318
345
        if self._update_timer_callback_tag is not None:
 
319
346
            gobject.source_remove(self._update_timer_callback_tag)
 
320
347
            self._update_timer_callback_tag = None
 
321
 
        for match in self.match_objects:
 
323
 
        self.match_objects = ()
 
324
348
        if self.delete_hook is not None:
 
325
349
            self.delete_hook(self)
 
326
 
        return super(MandosClientWidget, self).delete(**kwargs)
 
328
 
    def render(self, maxcolrow, focus=False):
 
 
351
    def render(self, (maxcol,), focus=False):
 
329
352
        """Render differently if we have focus.
 
330
353
        This overrides the method from urwid.FlowWidget"""
 
331
 
        return self.current_widget(focus).render(maxcolrow,
 
 
354
        return self.current_widget(focus).render((maxcol,),
 
334
 
    def keypress(self, maxcolrow, key):
 
 
357
    def keypress(self, (maxcol,), key):
 
336
359
        This overrides the method from urwid.FlowWidget"""
 
338
 
            self.proxy.Set(client_interface, "Enabled",
 
339
 
                           dbus.Boolean(True), ignore_reply = True,
 
340
 
                           dbus_interface = dbus.PROPERTIES_IFACE)
 
342
 
            self.proxy.Set(client_interface, "Enabled", False,
 
344
 
                           dbus_interface = dbus.PROPERTIES_IFACE)
 
 
361
            self.proxy.Enable(dbus_interface = client_interface)
 
 
363
            self.proxy.Disable(dbus_interface = client_interface)
 
346
365
            self.proxy.Approve(dbus.Boolean(True, variant_level=1),
 
347
 
                               dbus_interface = client_interface,
 
 
366
                               dbus_interface = client_interface)
 
350
368
            self.proxy.Approve(dbus.Boolean(False, variant_level=1),
 
351
 
                                  dbus_interface = client_interface,
 
353
 
        elif key == "R" or key == "_" or key == "ctrl k":
 
 
369
                                  dbus_interface = client_interface)
 
 
370
        elif key == u"R" or key == u"_" or key == u"ctrl k":
 
354
371
            self.server_proxy_object.RemoveClient(self.proxy
 
358
 
            self.proxy.Set(client_interface, "CheckerRunning",
 
359
 
                           dbus.Boolean(True), ignore_reply = True,
 
360
 
                           dbus_interface = dbus.PROPERTIES_IFACE)
 
362
 
            self.proxy.Set(client_interface, "CheckerRunning",
 
363
 
                           dbus.Boolean(False), ignore_reply = True,
 
364
 
                           dbus_interface = dbus.PROPERTIES_IFACE)
 
366
 
            self.proxy.CheckedOK(dbus_interface = client_interface,
 
 
374
            self.proxy.StartChecker(dbus_interface = client_interface)
 
 
376
            self.proxy.StopChecker(dbus_interface = client_interface)
 
 
378
            self.proxy.CheckedOK(dbus_interface = client_interface)
 
369
 
#         elif key == "p" or key == "=":
 
 
380
#         elif key == u"p" or key == "=":
 
370
381
#             self.proxy.pause()
 
371
 
#         elif key == "u" or key == ":":
 
 
382
#         elif key == u"u" or key == ":":
 
372
383
#             self.proxy.unpause()
 
 
384
#         elif key == u"RET":
 
378
 
    def properties_changed(self, interface, properties, invalidated):
 
379
 
        """Call self.update() if any properties changed.
 
 
389
    def property_changed(self, property=None, value=None,
 
 
391
        """Call self.update() if old value is not new value.
 
380
392
        This overrides the method from MandosClientPropertyCache"""
 
381
 
        old_values = { key: self.properties.get(key)
 
382
 
                       for key in properties.keys() }
 
383
 
        super(MandosClientWidget, self).properties_changed(
 
384
 
            interface, properties, invalidated)
 
385
 
        if any(old_values[key] != self.properties.get(key)
 
386
 
               for key in old_values):
 
 
393
        property_name = unicode(property)
 
 
394
        old_value = self.properties.get(property_name)
 
 
395
        super(MandosClientWidget, self).property_changed(
 
 
396
            property=property, value=value, *args, **kwargs)
 
 
397
        if self.properties.get(property_name) != old_value:
 
 
403
415
    """This is the entire user interface - the whole screen
 
404
416
    with boxes, lists of client widgets, etc.
 
406
 
    def __init__(self, max_log_length=1000, log_level=1):
 
 
418
    def __init__(self, max_log_length=1000):
 
407
419
        DBusGMainLoop(set_as_default=True)
 
409
421
        self.screen = urwid.curses_display.Screen()
 
411
423
        self.screen.register_palette((
 
413
 
                 "default", "default", None),
 
415
 
                 "bold", "default", "bold"),
 
417
 
                 "underline,blink", "default", "underline,blink"),
 
419
 
                 "standout", "default", "standout"),
 
420
 
                ("bold-underline-blink",
 
421
 
                 "bold,underline,blink", "default", "bold,underline,blink"),
 
423
 
                 "bold,standout", "default", "bold,standout"),
 
424
 
                ("underline-blink-standout",
 
425
 
                 "underline,blink,standout", "default",
 
426
 
                 "underline,blink,standout"),
 
427
 
                ("bold-underline-blink-standout",
 
428
 
                 "bold,underline,blink,standout", "default",
 
429
 
                 "bold,underline,blink,standout"),
 
 
425
                 u"default", u"default", None),
 
 
427
                 u"default", u"default", u"bold"),
 
 
429
                 u"default", u"default", u"underline"),
 
 
431
                 u"default", u"default", u"standout"),
 
 
432
                (u"bold-underline-blink",
 
 
433
                 u"default", u"default", (u"bold", u"underline")),
 
 
435
                 u"default", u"default", (u"bold", u"standout")),
 
 
436
                (u"underline-blink-standout",
 
 
437
                 u"default", u"default", (u"underline", u"standout")),
 
 
438
                (u"bold-underline-blink-standout",
 
 
439
                 u"default", u"default", (u"bold", u"underline",
 
432
443
        if urwid.supports_unicode():
 
433
 
            self.divider = "─" # \u2500
 
434
 
            #self.divider = "━" # \u2501
 
 
444
            self.divider = u"─" # \u2500
 
 
445
            #self.divider = u"━" # \u2501
 
436
 
            #self.divider = "-" # \u002d
 
437
 
            self.divider = "_" # \u005f
 
 
447
            #self.divider = u"-" # \u002d
 
 
448
            self.divider = u"_" # \u005f
 
439
450
        self.screen.start()
 
 
456
465
        # This keeps track of whether self.uilist currently has
 
457
466
        # self.logbox in it or not
 
458
467
        self.log_visible = True
 
459
 
        self.log_wrap = "any"
 
 
468
        self.log_wrap = u"any"
 
462
 
        self.log_message_raw(("bold",
 
463
 
                              "Mandos Monitor version " + version))
 
464
 
        self.log_message_raw(("bold",
 
 
471
        self.log_message_raw((u"bold",
 
 
472
                              u"Mandos Monitor version " + version))
 
 
473
        self.log_message_raw((u"bold",
 
467
476
        self.busname = domain + '.Mandos'
 
468
477
        self.main_loop = gobject.MainLoop()
 
 
478
        self.bus = dbus.SystemBus()
 
 
479
        mandos_dbus_objc = self.bus.get_object(
 
 
480
            self.busname, u"/", follow_name_owner_changes=True)
 
 
481
        self.mandos_serv = dbus.Interface(mandos_dbus_objc,
 
 
485
            mandos_clients = (self.mandos_serv
 
 
486
                              .GetAllClientsWithProperties())
 
 
487
        except dbus.exceptions.DBusException:
 
 
488
            mandos_clients = dbus.Dictionary()
 
 
491
         .connect_to_signal(u"ClientRemoved",
 
 
492
                            self.find_and_remove_client,
 
 
493
                            dbus_interface=server_interface,
 
 
496
         .connect_to_signal(u"ClientAdded",
 
 
498
                            dbus_interface=server_interface,
 
 
501
         .connect_to_signal(u"ClientNotFound",
 
 
502
                            self.client_not_found,
 
 
503
                            dbus_interface=server_interface,
 
 
505
        for path, client in mandos_clients.iteritems():
 
 
506
            client_proxy_object = self.bus.get_object(self.busname,
 
 
508
            self.add_client(MandosClientWidget(server_proxy_object
 
 
511
                                               =client_proxy_object,
 
470
521
    def client_not_found(self, fingerprint, address):
 
471
 
        self.log_message("Client with address {} and fingerprint {}"
 
472
 
                         " could not be found"
 
473
 
                         .format(address, fingerprint))
 
 
522
        self.log_message((u"Client with address %s and fingerprint %s"
 
 
523
                          u" could not be found" % (address,
 
475
526
    def rebuild(self):
 
476
527
        """This rebuilds the User Interface.
 
 
487
538
        if self.log_visible:
 
488
539
            self.uilist.append(self.logbox)
 
489
541
        self.topwidget = urwid.Pile(self.uilist)
 
491
 
    def log_message(self, message, level=1):
 
492
 
        """Log message formatted with timestamp"""
 
493
 
        if level < self.log_level:
 
 
543
    def log_message(self, message):
 
495
544
        timestamp = datetime.datetime.now().isoformat()
 
496
 
        self.log_message_raw("{}: {}".format(timestamp, message),
 
 
545
        self.log_message_raw(timestamp + u": " + message)
 
499
 
    def log_message_raw(self, markup, level=1):
 
 
547
    def log_message_raw(self, markup):
 
500
548
        """Add a log message to the log buffer."""
 
501
 
        if level < self.log_level:
 
503
549
        self.log.append(urwid.Text(markup, wrap=self.log_wrap))
 
504
550
        if (self.max_log_length
 
505
551
            and len(self.log) > self.max_log_length):
 
506
552
            del self.log[0:len(self.log)-self.max_log_length-1]
 
507
553
        self.logbox.set_focus(len(self.logbox.body.contents),
 
 
554
                              coming_from=u"above")
 
511
557
    def toggle_log_display(self):
 
512
558
        """Toggle visibility of the log buffer."""
 
513
559
        self.log_visible = not self.log_visible
 
515
 
        self.log_message("Log visibility changed to: {}"
 
516
 
                         .format(self.log_visible), level=0)
 
 
561
        #self.log_message(u"Log visibility changed to: "
 
 
562
        #                 + unicode(self.log_visible))
 
518
564
    def change_log_display(self):
 
519
565
        """Change type of log display.
 
520
566
        Currently, this toggles wrapping of text lines."""
 
521
 
        if self.log_wrap == "clip":
 
522
 
            self.log_wrap = "any"
 
 
567
        if self.log_wrap == u"clip":
 
 
568
            self.log_wrap = u"any"
 
524
 
            self.log_wrap = "clip"
 
 
570
            self.log_wrap = u"clip"
 
525
571
        for textwidget in self.log:
 
526
572
            textwidget.set_wrap_mode(self.log_wrap)
 
527
 
        self.log_message("Wrap mode: {}".format(self.log_wrap),
 
 
573
        #self.log_message(u"Wrap mode: " + self.log_wrap)
 
530
 
    def find_and_remove_client(self, path, interfaces):
 
531
 
        """Find a client by its object path and remove it.
 
 
575
    def find_and_remove_client(self, path, name):
 
 
576
        """Find an client from its object path and remove it.
 
533
 
        This is connected to the InterfacesRemoved signal from the
 
 
578
        This is connected to the ClientRemoved signal from the
 
534
579
        Mandos server object."""
 
535
 
        if client_interface not in interfaces:
 
536
 
            # Not a Mandos client object; ignore
 
539
581
            client = self.clients_dict[path]
 
542
 
            self.log_message("Unknown client {!r} removed"
 
 
585
        self.remove_client(client, path)
 
547
 
    def add_new_client(self, path, ifs_and_props):
 
548
 
        """Find a client by its object path and remove it.
 
550
 
        This is connected to the InterfacesAdded signal from the
 
551
 
        Mandos server object.
 
553
 
        if client_interface not in ifs_and_props:
 
554
 
            # Not a Mandos client object; ignore
 
 
587
    def add_new_client(self, path):
 
556
588
        client_proxy_object = self.bus.get_object(self.busname, path)
 
557
589
        self.add_client(MandosClientWidget(server_proxy_object
 
558
590
                                           =self.mandos_serv,
 
 
593
627
        """Start the main loop and exit when it's done."""
 
594
 
        self.bus = dbus.SystemBus()
 
595
 
        mandos_dbus_objc = self.bus.get_object(
 
596
 
            self.busname, "/", follow_name_owner_changes=True)
 
597
 
        self.mandos_serv = dbus.Interface(mandos_dbus_objc,
 
601
 
            mandos_clients = (self.mandos_serv
 
602
 
                              .GetAllClientsWithProperties())
 
603
 
            if not mandos_clients:
 
604
 
                self.log_message_raw(("bold", "Note: Server has no clients."))
 
605
 
        except dbus.exceptions.DBusException:
 
606
 
            self.log_message_raw(("bold", "Note: No Mandos server running."))
 
607
 
            mandos_clients = dbus.Dictionary()
 
610
 
         .connect_to_signal("InterfacesRemoved",
 
611
 
                            self.find_and_remove_client,
 
613
 
                            = dbus.OBJECT_MANAGER_IFACE,
 
616
 
         .connect_to_signal("InterfacesAdded",
 
619
 
                            = dbus.OBJECT_MANAGER_IFACE,
 
622
 
         .connect_to_signal("ClientNotFound",
 
623
 
                            self.client_not_found,
 
624
 
                            dbus_interface=server_interface,
 
626
 
        for path, client in mandos_clients.items():
 
627
 
            client_proxy_object = self.bus.get_object(self.busname,
 
629
 
            self.add_client(MandosClientWidget(server_proxy_object
 
632
 
                                               =client_proxy_object,
 
643
629
        self._input_callback_tag = (gobject.io_add_watch
 
644
630
                                    (sys.stdin.fileno(),
 
 
670
656
            except KeyError:    # :-)
 
673
 
            if key == "q" or key == "Q":
 
 
659
            if key == u"q" or key == u"Q":
 
676
 
            elif key == "window resize":
 
 
662
            elif key == u"window resize":
 
677
663
                self.size = self.screen.get_cols_rows()
 
679
 
            elif key == "ctrl l":
 
 
665
            elif key == u"\f":  # Ctrl-L
 
682
 
            elif key == "l" or key == "D":
 
 
667
            elif key == u"l" or key == u"D":
 
683
668
                self.toggle_log_display()
 
685
 
            elif key == "w" or key == "i":
 
 
670
            elif key == u"w" or key == u"i":
 
686
671
                self.change_log_display()
 
688
 
            elif key == "?" or key == "f1" or key == "esc":
 
 
673
            elif key == u"?" or key == u"f1" or key == u"esc":
 
689
674
                if not self.log_visible:
 
690
675
                    self.log_visible = True
 
692
 
                self.log_message_raw(("bold",
 
696
 
                                            "l: Log window toggle",
 
697
 
                                            "TAB: Switch window",
 
698
 
                                            "w: Wrap (log lines)",
 
699
 
                                            "v: Toggle verbose log",
 
701
 
                self.log_message_raw(("bold",
 
707
 
                                             "s: Start new checker",
 
 
677
                self.log_message_raw((u"bold",
 
 
681
                                            u"l: Log window toggle",
 
 
682
                                            u"TAB: Switch window",
 
 
684
                self.log_message_raw((u"bold",
 
 
690
                                             u"s: Start new checker",
 
714
697
                if self.topwidget.get_focus() is self.logbox:
 
715
698
                    self.topwidget.set_focus(0)
 
717
700
                    self.topwidget.set_focus(self.logbox)
 
720
 
                if self.log_level == 0:
 
722
 
                    self.log_message("Verbose mode: Off")
 
725
 
                    self.log_message("Verbose mode: On")
 
726
 
            #elif (key == "end" or key == "meta >" or key == "G"
 
 
702
            #elif (key == u"end" or key == u"meta >" or key == u"G"
 
728
704
            #    pass            # xxx end-of-buffer
 
729
 
            #elif (key == "home" or key == "meta <" or key == "g"
 
 
705
            #elif (key == u"home" or key == u"meta <" or key == u"g"
 
731
707
            #    pass            # xxx beginning-of-buffer
 
732
 
            #elif key == "ctrl e" or key == "$":
 
 
708
            #elif key == u"ctrl e" or key == u"$":
 
733
709
            #    pass            # xxx move-end-of-line
 
734
 
            #elif key == "ctrl a" or key == "^":
 
 
710
            #elif key == u"ctrl a" or key == u"^":
 
735
711
            #    pass            # xxx move-beginning-of-line
 
736
 
            #elif key == "ctrl b" or key == "meta (" or key == "h":
 
 
712
            #elif key == u"ctrl b" or key == u"meta (" or key == u"h":
 
737
713
            #    pass            # xxx left
 
738
 
            #elif key == "ctrl f" or key == "meta )" or key == "l":
 
 
714
            #elif key == u"ctrl f" or key == u"meta )" or key == u"l":
 
739
715
            #    pass            # xxx right
 
741
717
            #    pass            # scroll up log
 
743
719
            #    pass            # scroll down log
 
744
720
            elif self.topwidget.selectable():
 
745
721
                self.topwidget.keypress(self.size, key)