1
#!/usr/bin/python3 -bbI
2
2
# -*- mode: python; coding: utf-8 -*-
4
4
# Mandos Monitor - Control and monitor the Mandos server
6
# Copyright © 2009-2019 Teddy Hogeborn
7
# Copyright © 2009-2019 Björn Påhlsson
9
# This file is part of Mandos.
11
# Mandos is free software: you can redistribute it and/or modify it
12
# under the terms of the GNU General Public License as published by
6
# Copyright © 2009-2012 Teddy Hogeborn
7
# Copyright © 2009-2012 Björn Påhlsson
9
# This program is free software: you can redistribute it and/or modify
10
# it under the terms of the GNU General Public License as published by
13
11
# the Free Software Foundation, either version 3 of the License, or
14
12
# (at your option) any later version.
16
# Mandos is distributed in the hope that it will be useful, but
17
# WITHOUT ANY WARRANTY; without even the implied warranty of
14
# This program is distributed in the hope that it will be useful,
15
# but WITHOUT ANY WARRANTY; without even the implied warranty of
18
16
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19
17
# GNU General Public License for more details.
21
19
# You should have received a copy of the GNU General Public License
22
# along with Mandos. If not, see <http://www.gnu.org/licenses/>.
20
# along with this program. If not, see
21
# <http://www.gnu.org/licenses/>.
24
23
# Contact the authors at <mandos@recompile.se>.
26
26
from __future__ import (division, absolute_import, print_function,
30
from future_builtins import *
29
from future_builtins import *
41
37
import urwid.curses_display
44
40
from dbus.mainloop.glib import DBusGMainLoop
45
from gi.repository import GLib
49
if sys.version_info.major == 2:
54
# Show warnings by default
55
if not sys.warnoptions:
56
warnings.simplefilter("default")
58
log = logging.getLogger(os.path.basename(sys.argv[0]))
59
logging.basicConfig(level="NOTSET", # Show all messages
60
format="%(message)s") # Show basic log messages
62
logging.captureWarnings(True) # Show warnings via the logging system
64
locale.setlocale(locale.LC_ALL, "")
66
logging.getLogger("dbus.proxies").setLevel(logging.CRITICAL)
49
locale.setlocale(locale.LC_ALL, '')
52
logging.getLogger('dbus.proxies').setLevel(logging.CRITICAL)
68
54
# Some useful constants
69
domain = "se.recompile"
70
server_interface = domain + ".Mandos"
71
client_interface = domain + ".Mandos.Client"
75
dbus.OBJECT_MANAGER_IFACE
76
except AttributeError:
77
dbus.OBJECT_MANAGER_IFACE = "org.freedesktop.DBus.ObjectManager"
55
domain = 'se.recompile'
56
server_interface = domain + '.Mandos'
57
client_interface = domain + '.Mandos.Client'
60
# Always run in monochrome mode
61
urwid.curses_display.curses.has_colors = lambda : False
63
# Urwid doesn't support blinking, but we want it. Since we have no
64
# use for underline on its own, we make underline also always blink.
65
urwid.curses_display.curses.A_UNDERLINE |= (
66
urwid.curses_display.curses.A_BLINK)
80
68
def isoformat_to_datetime(iso):
81
69
"Parse an ISO 8601 date string to a datetime.datetime()"
93
int(second), # Whole seconds
94
int(fraction*1000000)) # Microseconds
97
class MandosClientPropertyCache:
81
int(second), # Whole seconds
82
int(fraction*1000000)) # Microseconds
84
class MandosClientPropertyCache(object):
98
85
"""This wraps a Mandos Client D-Bus proxy object, caches the
99
86
properties and calls a hook function when any of them are
102
89
def __init__(self, proxy_object=None, properties=None, **kwargs):
103
self.proxy = proxy_object # Mandos Client proxy object
90
self.proxy = proxy_object # Mandos Client proxy object
104
91
self.properties = dict() if properties is None else properties
105
92
self.property_changed_match = (
106
self.proxy.connect_to_signal("PropertiesChanged",
107
self.properties_changed,
108
dbus.PROPERTIES_IFACE,
93
self.proxy.connect_to_signal("PropertyChanged",
94
self._property_changed,
109
96
byte_arrays=True))
111
98
if properties is None:
112
self.properties.update(self.proxy.GetAll(
114
dbus_interface=dbus.PROPERTIES_IFACE))
99
self.properties.update(
100
self.proxy.GetAll(client_interface,
102
= dbus.PROPERTIES_IFACE))
116
104
super(MandosClientPropertyCache, self).__init__(**kwargs)
118
def properties_changed(self, interface, properties, invalidated):
119
"""This is called whenever we get a PropertiesChanged signal
120
It updates the changed properties in the "properties" dict.
106
def _property_changed(self, property, value):
107
"""Helper which takes positional arguments"""
108
return self.property_changed(property=property, value=value)
110
def property_changed(self, property=None, value=None):
111
"""This is called whenever we get a PropertyChanged signal
112
It updates the changed property in the "properties" dict.
122
114
# Update properties dict with new value
123
if interface == client_interface:
124
self.properties.update(properties)
115
self.properties[property] = value
126
117
def delete(self):
127
118
self.property_changed_match.remove()
172
165
client_interface,
173
166
byte_arrays=True))
174
log.debug("Created client %s", self.properties["Name"])
167
#self.logger('Created client {0}'
168
# .format(self.properties["Name"]))
176
170
def using_timer(self, flag):
177
171
"""Call this method with True or False when timer should be
178
172
activated or deactivated.
180
174
if flag and self._update_timer_callback_tag is None:
181
175
# Will update the shown timer value every second
182
self._update_timer_callback_tag = (
183
GLib.timeout_add(1000,
184
glib_safely(self.update_timer)))
176
self._update_timer_callback_tag = (gobject.timeout_add
185
179
elif not (flag or self._update_timer_callback_tag is None):
186
GLib.source_remove(self._update_timer_callback_tag)
180
gobject.source_remove(self._update_timer_callback_tag)
187
181
self._update_timer_callback_tag = None
189
183
def checker_completed(self, exitstatus, condition, command):
190
184
if exitstatus == 0:
191
log.debug('Checker for client %s (command "%s")'
192
" succeeded", self.properties["Name"], command)
196
188
if os.WIFEXITED(condition):
197
log.info('Checker for client %s (command "%s") failed'
198
" with exit code %d", self.properties["Name"],
199
command, os.WEXITSTATUS(condition))
189
self.logger('Checker for client {0} (command "{1}")'
190
' failed with exit code {2}'
191
.format(self.properties["Name"], command,
192
os.WEXITSTATUS(condition)))
200
193
elif os.WIFSIGNALED(condition):
201
log.info('Checker for client %s (command "%s") was'
202
" killed by signal %d", self.properties["Name"],
203
command, os.WTERMSIG(condition))
194
self.logger('Checker for client {0} (command "{1}") was'
195
' killed by signal {2}'
196
.format(self.properties["Name"], command,
197
os.WTERMSIG(condition)))
198
elif os.WCOREDUMP(condition):
199
self.logger('Checker for client {0} (command "{1}")'
201
.format(self.properties["Name"], command))
203
self.logger('Checker for client {0} completed'
205
.format(self.properties["Name"]))
206
208
def checker_started(self, command):
207
"""Server signals that a checker started."""
208
log.debug('Client %s started checker "%s"',
209
self.properties["Name"], command)
209
"""Server signals that a checker started. This could be useful
210
to log in the future. """
211
#self.logger('Client {0} started checker "{1}"'
212
# .format(self.properties["Name"],
211
216
def got_secret(self):
212
log.info("Client %s received its secret",
213
self.properties["Name"])
217
self.logger('Client {0} received its secret'
218
.format(self.properties["Name"]))
215
220
def need_approval(self, timeout, default):
217
message = "Client %s needs approval within %f seconds"
222
message = 'Client {0} needs approval within {1} seconds'
219
message = "Client %s will get its secret in %f seconds"
220
log.info(message, self.properties["Name"], timeout/1000)
224
message = 'Client {0} will get its secret in {1} seconds'
225
self.logger(message.format(self.properties["Name"],
222
228
def rejected(self, reason):
223
log.info("Client %s was rejected; reason: %s",
224
self.properties["Name"], reason)
229
self.logger('Client {0} was rejected; reason: {1}'
230
.format(self.properties["Name"], reason))
226
232
def selectable(self):
227
233
"""Make this a "selectable" widget.
228
234
This overrides the method from urwid.FlowWidget."""
231
237
def rows(self, maxcolrow, focus=False):
232
238
"""How many rows this widget will occupy might depend on
233
239
whether we have focus or not.
234
240
This overrides the method from urwid.FlowWidget"""
235
241
return self.current_widget(focus).rows(maxcolrow, focus=focus)
237
243
def current_widget(self, focus=False):
238
244
if focus or self.opened:
239
245
return self._focus_widget
240
246
return self._widget
242
248
def update(self):
243
249
"Called when what is visible on the screen should be updated."
244
250
# How to add standout mode to a style
245
with_standout = {"normal": "standout",
246
"bold": "bold-standout",
248
"underline-blink-standout",
249
"bold-underline-blink":
250
"bold-underline-blink-standout",
251
with_standout = { "normal": "standout",
252
"bold": "bold-standout",
254
"underline-blink-standout",
255
"bold-underline-blink":
256
"bold-underline-blink-standout",
253
259
# Rebuild focus and non-focus widgets using current properties
255
261
# Base part of a client. Name!
256
base = "{name}: ".format(name=self.properties["Name"])
262
base = '{name}: '.format(name=self.properties["Name"])
257
263
if not self.properties["Enabled"]:
258
264
message = "DISABLED"
259
265
self.using_timer(False)
260
266
elif self.properties["ApprovalPending"]:
261
timeout = datetime.timedelta(
262
milliseconds=self.properties["ApprovalDelay"])
267
timeout = datetime.timedelta(milliseconds
263
270
last_approval_request = isoformat_to_datetime(
264
271
self.properties["LastApprovalRequest"])
265
272
if last_approval_request is not None:
326
332
if self.delete_hook is not None:
327
333
self.delete_hook(self)
328
334
return super(MandosClientWidget, self).delete(**kwargs)
330
336
def render(self, maxcolrow, focus=False):
331
337
"""Render differently if we have focus.
332
338
This overrides the method from urwid.FlowWidget"""
333
339
return self.current_widget(focus).render(maxcolrow,
336
342
def keypress(self, maxcolrow, key):
338
344
This overrides the method from urwid.FlowWidget"""
340
self.proxy.Set(client_interface, "Enabled",
341
dbus.Boolean(True), ignore_reply=True,
342
dbus_interface=dbus.PROPERTIES_IFACE)
346
self.proxy.Enable(dbus_interface = client_interface,
344
self.proxy.Set(client_interface, "Enabled", False,
346
dbus_interface=dbus.PROPERTIES_IFACE)
349
self.proxy.Disable(dbus_interface = client_interface,
348
352
self.proxy.Approve(dbus.Boolean(True, variant_level=1),
349
dbus_interface=client_interface,
353
dbus_interface = client_interface,
350
354
ignore_reply=True)
352
356
self.proxy.Approve(dbus.Boolean(False, variant_level=1),
353
dbus_interface=client_interface,
357
dbus_interface = client_interface,
354
358
ignore_reply=True)
355
359
elif key == "R" or key == "_" or key == "ctrl k":
356
360
self.server_proxy_object.RemoveClient(self.proxy
358
362
ignore_reply=True)
360
self.proxy.Set(client_interface, "CheckerRunning",
361
dbus.Boolean(True), ignore_reply=True,
362
dbus_interface=dbus.PROPERTIES_IFACE)
364
self.proxy.StartChecker(dbus_interface = client_interface,
364
self.proxy.Set(client_interface, "CheckerRunning",
365
dbus.Boolean(False), ignore_reply=True,
366
dbus_interface=dbus.PROPERTIES_IFACE)
367
self.proxy.StopChecker(dbus_interface = client_interface,
368
self.proxy.CheckedOK(dbus_interface=client_interface,
370
self.proxy.CheckedOK(dbus_interface = client_interface,
369
371
ignore_reply=True)
371
373
# elif key == "p" or key == "=":
380
def properties_changed(self, interface, properties, invalidated):
381
"""Call self.update() if any properties changed.
382
def property_changed(self, property=None, **kwargs):
383
"""Call self.update() if old value is not new value.
382
384
This overrides the method from MandosClientPropertyCache"""
383
old_values = {key: self.properties.get(key)
384
for key in properties.keys()}
385
super(MandosClientWidget, self).properties_changed(
386
interface, properties, invalidated)
387
if any(old_values[key] != self.properties.get(key)
388
for key in old_values):
385
property_name = unicode(property)
386
old_value = self.properties.get(property_name)
387
super(MandosClientWidget, self).property_changed(
388
property=property, **kwargs)
389
if self.properties.get(property_name) != old_value:
392
def glib_safely(func, retval=True):
393
def safe_func(*args, **kwargs):
395
return func(*args, **kwargs)
402
393
class ConstrainedListBox(urwid.ListBox):
403
394
"""Like a normal urwid.ListBox, but will consume all "up" or
404
395
"down" key presses, thus not allowing any containing widgets to
405
396
use them as an excuse to shift focus away from this widget.
407
398
def keypress(self, *args, **kwargs):
408
ret = (super(ConstrainedListBox, self)
409
.keypress(*args, **kwargs))
399
ret = super(ConstrainedListBox, self).keypress(*args, **kwargs)
410
400
if ret in ("up", "down"):
405
class UserInterface(object):
416
406
"""This is the entire user interface - the whole screen
417
407
with boxes, lists of client widgets, etc.
419
409
def __init__(self, max_log_length=1000):
420
410
DBusGMainLoop(set_as_default=True)
422
412
self.screen = urwid.curses_display.Screen()
424
414
self.screen.register_palette((
426
416
"default", "default", None),
428
"bold", "default", "bold"),
418
"default", "default", "bold"),
429
419
("underline-blink",
430
"underline,blink", "default", "underline,blink"),
420
"default", "default", "underline"),
432
"standout", "default", "standout"),
422
"default", "default", "standout"),
433
423
("bold-underline-blink",
434
"bold,underline,blink", "default",
435
"bold,underline,blink"),
424
"default", "default", ("bold", "underline")),
436
425
("bold-standout",
437
"bold,standout", "default", "bold,standout"),
426
"default", "default", ("bold", "standout")),
438
427
("underline-blink-standout",
439
"underline,blink,standout", "default",
440
"underline,blink,standout"),
428
"default", "default", ("underline", "standout")),
441
429
("bold-underline-blink-standout",
442
"bold,underline,blink,standout", "default",
443
"bold,underline,blink,standout"),
430
"default", "default", ("bold", "underline",
446
434
if urwid.supports_unicode():
447
self.divider = "─" # \u2500
435
self.divider = "─" # \u2500
436
#self.divider = "━" # \u2501
449
self.divider = "_" # \u005f
438
#self.divider = "-" # \u002d
439
self.divider = "_" # \u005f
451
441
self.screen.start()
453
443
self.size = self.screen.get_cols_rows()
455
445
self.clients = urwid.SimpleListWalker([])
456
446
self.clients_dict = {}
458
448
# We will add Text widgets to this list
459
self.log = urwid.SimpleListWalker([])
460
450
self.max_log_length = max_log_length
462
452
# We keep a reference to the log widget so we can remove it
463
453
# from the ListWalker without it getting destroyed
464
454
self.logbox = ConstrainedListBox(self.log)
466
456
# This keeps track of whether self.uilist currently has
467
457
# self.logbox in it or not
468
458
self.log_visible = True
469
459
self.log_wrap = "any"
471
self.loghandler = UILogHandler(self)
474
self.add_log_line(("bold",
475
"Mandos Monitor version " + version))
476
self.add_log_line(("bold", "q: Quit ?: Help"))
478
self.busname = domain + ".Mandos"
479
self.main_loop = GLib.MainLoop()
481
def client_not_found(self, key_id, address):
482
log.info("Client with address %s and key ID %s could"
483
" not be found", address, key_id)
462
self.log_message_raw(("bold",
463
"Mandos Monitor version " + version))
464
self.log_message_raw(("bold",
467
self.busname = domain + '.Mandos'
468
self.main_loop = gobject.MainLoop()
470
def client_not_found(self, fingerprint, address):
471
self.log_message("Client with address {0} and fingerprint"
472
" {1} could not be found"
473
.format(address, fingerprint))
485
475
def rebuild(self):
486
476
"""This rebuilds the User Interface.
487
477
Call this when the widget layout needs to change"""
489
# self.uilist.append(urwid.ListBox(self.clients))
479
#self.uilist.append(urwid.ListBox(self.clients))
490
480
self.uilist.append(urwid.Frame(ConstrainedListBox(self.
492
# header=urwid.Divider(),
482
#header=urwid.Divider(),
494
footer=urwid.Divider(
495
div_char=self.divider)))
485
urwid.Divider(div_char=
496
487
if self.log_visible:
497
488
self.uilist.append(self.logbox)
498
489
self.topwidget = urwid.Pile(self.uilist)
500
def add_log_line(self, markup):
491
def log_message(self, message):
492
"""Log message formatted with timestamp"""
493
timestamp = datetime.datetime.now().isoformat()
494
self.log_message_raw(timestamp + ": " + message)
496
def log_message_raw(self, markup):
497
"""Add a log message to the log buffer."""
501
498
self.log.append(urwid.Text(markup, wrap=self.log_wrap))
502
if self.max_log_length:
503
if len(self.log) > self.max_log_length:
504
del self.log[0:(len(self.log) - self.max_log_length)]
505
self.logbox.set_focus(len(self.logbox.body.contents)-1,
499
if (self.max_log_length
500
and len(self.log) > self.max_log_length):
501
del self.log[0:len(self.log)-self.max_log_length-1]
502
self.logbox.set_focus(len(self.logbox.body.contents),
506
503
coming_from="above")
509
506
def toggle_log_display(self):
510
507
"""Toggle visibility of the log buffer."""
511
508
self.log_visible = not self.log_visible
513
log.debug("Log visibility changed to: %s", self.log_visible)
510
#self.log_message("Log visibility changed to: "
511
# + unicode(self.log_visible))
515
513
def change_log_display(self):
516
514
"""Change type of log display.
517
515
Currently, this toggles wrapping of text lines."""
521
519
self.log_wrap = "clip"
522
520
for textwidget in self.log:
523
521
textwidget.set_wrap_mode(self.log_wrap)
524
log.debug("Wrap mode: %s", self.log_wrap)
526
def find_and_remove_client(self, path, interfaces):
522
#self.log_message("Wrap mode: " + self.log_wrap)
524
def find_and_remove_client(self, path, name):
527
525
"""Find a client by its object path and remove it.
529
This is connected to the InterfacesRemoved signal from the
527
This is connected to the ClientRemoved signal from the
530
528
Mandos server object."""
531
if client_interface not in interfaces:
532
# Not a Mandos client object; ignore
535
530
client = self.clients_dict[path]
538
log.warning("Unknown client %s removed", path)
533
self.log_message("Unknown client {0!r} ({1!r}) removed"
542
def add_new_client(self, path, ifs_and_props):
543
"""Find a client by its object path and remove it.
545
This is connected to the InterfacesAdded signal from the
546
Mandos server object.
548
if client_interface not in ifs_and_props:
549
# Not a Mandos client object; ignore
538
def add_new_client(self, path):
551
539
client_proxy_object = self.bus.get_object(self.busname, path)
552
self.add_client(MandosClientWidget(
553
server_proxy_object=self.mandos_serv,
554
proxy_object=client_proxy_object,
555
update_hook=self.refresh,
556
delete_hook=self.remove_client,
557
properties=dict(ifs_and_props[client_interface])),
540
self.add_client(MandosClientWidget(server_proxy_object
543
=client_proxy_object,
560
552
def add_client(self, client, path=None):
561
553
self.clients.append(client)
563
555
path = client.proxy.object_path
564
556
self.clients_dict[path] = client
565
self.clients.sort(key=lambda c: c.properties["Name"])
557
self.clients.sort(None, lambda c: c.properties["Name"])
568
560
def remove_client(self, client, path=None):
569
561
self.clients.remove(client)
571
563
path = client.proxy.object_path
572
564
del self.clients_dict[path]
565
if not self.clients_dict:
566
# Work around bug in Urwid 0.9.8.3 - if a SimpleListWalker
567
# is completely emptied, we need to recreate it.
568
self.clients = urwid.SimpleListWalker([])
575
572
def refresh(self):
576
573
"""Redraw the screen"""
577
574
canvas = self.topwidget.render(self.size, focus=True)
578
575
self.screen.draw_screen(self.size, canvas)
581
578
"""Start the main loop and exit when it's done."""
582
log.addHandler(self.loghandler)
583
self.orig_log_propagate = log.propagate
584
log.propagate = False
585
self.orig_log_level = log.level
587
579
self.bus = dbus.SystemBus()
588
580
mandos_dbus_objc = self.bus.get_object(
589
581
self.busname, "/", follow_name_owner_changes=True)
590
self.mandos_serv = dbus.Interface(
591
mandos_dbus_objc, dbus_interface=server_interface)
582
self.mandos_serv = dbus.Interface(mandos_dbus_objc,
593
586
mandos_clients = (self.mandos_serv
594
587
.GetAllClientsWithProperties())
595
588
if not mandos_clients:
596
log.warning("Note: Server has no clients.")
589
self.log_message_raw(("bold", "Note: Server has no clients."))
597
590
except dbus.exceptions.DBusException:
598
log.warning("Note: No Mandos server running.")
591
self.log_message_raw(("bold", "Note: No Mandos servers running."))
599
592
mandos_clients = dbus.Dictionary()
601
594
(self.mandos_serv
602
.connect_to_signal("InterfacesRemoved",
595
.connect_to_signal("ClientRemoved",
603
596
self.find_and_remove_client,
604
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
597
dbus_interface=server_interface,
605
598
byte_arrays=True))
606
599
(self.mandos_serv
607
.connect_to_signal("InterfacesAdded",
600
.connect_to_signal("ClientAdded",
608
601
self.add_new_client,
609
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
602
dbus_interface=server_interface,
610
603
byte_arrays=True))
611
604
(self.mandos_serv
612
605
.connect_to_signal("ClientNotFound",
613
606
self.client_not_found,
614
607
dbus_interface=server_interface,
615
608
byte_arrays=True))
616
for path, client in mandos_clients.items():
609
for path, client in mandos_clients.iteritems():
617
610
client_proxy_object = self.bus.get_object(self.busname,
619
self.add_client(MandosClientWidget(
620
server_proxy_object=self.mandos_serv,
621
proxy_object=client_proxy_object,
623
update_hook=self.refresh,
624
delete_hook=self.remove_client),
612
self.add_client(MandosClientWidget(server_proxy_object
615
=client_proxy_object,
628
self._input_callback_tag = (
630
GLib.IOChannel.unix_new(sys.stdin.fileno()),
631
GLib.PRIORITY_DEFAULT, GLib.IO_IN,
632
glib_safely(self.process_input)))
626
self._input_callback_tag = (gobject.io_add_watch
633
630
self.main_loop.run()
634
631
# Main loop has finished, we should close everything now
635
GLib.source_remove(self._input_callback_tag)
636
with warnings.catch_warnings():
637
warnings.simplefilter("ignore", BytesWarning)
632
gobject.source_remove(self._input_callback_tag)
641
636
self.main_loop.quit()
642
log.removeHandler(self.loghandler)
643
log.propagate = self.orig_log_propagate
645
638
def process_input(self, source, condition):
646
639
keys = self.screen.get_input()
647
translations = {"ctrl n": "down", # Emacs
648
"ctrl p": "up", # Emacs
649
"ctrl v": "page down", # Emacs
650
"meta v": "page up", # Emacs
651
" ": "page down", # less
652
"f": "page down", # less
653
"b": "page up", # less
640
translations = { "ctrl n": "down", # Emacs
641
"ctrl p": "up", # Emacs
642
"ctrl v": "page down", # Emacs
643
"meta v": "page up", # Emacs
644
" ": "page down", # less
645
"f": "page down", # less
646
"b": "page up", # less
659
652
key = translations[key]
660
653
except KeyError: # :-)
663
656
if key == "q" or key == "Q":
666
659
elif key == "window resize":
667
660
self.size = self.screen.get_cols_rows()
669
elif key == "ctrl l":
662
elif key == "\f": # Ctrl-L
672
664
elif key == "l" or key == "D":
673
665
self.toggle_log_display()
706
697
self.topwidget.set_focus(self.logbox)
709
if log.level < logging.INFO:
710
log.setLevel(logging.INFO)
711
log.info("Verbose mode: Off")
713
log.setLevel(logging.NOTSET)
714
log.info("Verbose mode: On")
715
# elif (key == "end" or key == "meta >" or key == "G"
717
# pass # xxx end-of-buffer
718
# elif (key == "home" or key == "meta <" or key == "g"
720
# pass # xxx beginning-of-buffer
721
# elif key == "ctrl e" or key == "$":
722
# pass # xxx move-end-of-line
723
# elif key == "ctrl a" or key == "^":
724
# pass # xxx move-beginning-of-line
725
# elif key == "ctrl b" or key == "meta (" or key == "h":
727
# elif key == "ctrl f" or key == "meta )" or key == "l":
730
# pass # scroll up log
732
# pass # scroll down log
699
#elif (key == "end" or key == "meta >" or key == "G"
701
# pass # xxx end-of-buffer
702
#elif (key == "home" or key == "meta <" or key == "g"
704
# pass # xxx beginning-of-buffer
705
#elif key == "ctrl e" or key == "$":
706
# pass # xxx move-end-of-line
707
#elif key == "ctrl a" or key == "^":
708
# pass # xxx move-beginning-of-line
709
#elif key == "ctrl b" or key == "meta (" or key == "h":
711
#elif key == "ctrl f" or key == "meta )" or key == "l":
714
# pass # scroll up log
716
# pass # scroll down log
733
717
elif self.topwidget.selectable():
734
718
self.topwidget.keypress(self.size, key)
739
class UILogHandler(logging.Handler):
740
def __init__(self, ui, *args, **kwargs):
742
super(UILogHandler, self).__init__(*args, **kwargs)
744
logging.Formatter("%(asctime)s: %(message)s"))
745
def emit(self, record):
746
msg = self.format(record)
747
if record.levelno > logging.INFO:
749
self.ui.add_log_line(msg)
752
722
ui = UserInterface()
755
725
except KeyboardInterrupt:
756
with warnings.catch_warnings():
757
warnings.filterwarnings("ignore", "", BytesWarning)
760
with warnings.catch_warnings():
761
warnings.filterwarnings("ignore", "", BytesWarning)
728
ui.log_message(unicode(e))