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-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
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
11
13
# the Free Software Foundation, either version 3 of the License, or
12
14
# (at your option) any later version.
14
# This program is distributed in the hope that it will be useful,
15
# but WITHOUT ANY WARRANTY; without even the implied warranty of
16
# Mandos is distributed in the hope that it will be useful, but
17
# WITHOUT ANY WARRANTY; without even the implied warranty of
16
18
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17
19
# GNU General Public License for more details.
19
21
# You should have received a copy of the GNU General Public License
20
# along with this program. If not, see
21
# <http://www.gnu.org/licenses/>.
22
# along with Mandos. If not, see <http://www.gnu.org/licenses/>.
23
24
# Contact the authors at <mandos@recompile.se>.
26
27
from __future__ import (division, absolute_import, print_function,
29
from future_builtins import *
30
from future_builtins import *
37
41
import urwid.curses_display
40
44
from dbus.mainloop.glib import DBusGMainLoop
45
from gi.repository import GLib
49
locale.setlocale(locale.LC_ALL, '')
52
logging.getLogger('dbus.proxies').setLevel(logging.CRITICAL)
49
if sys.version_info.major == 2:
52
log = logging.getLogger(os.path.basename(sys.argv[0]))
53
logging.basicConfig(level="NOTSET", # Show all messages
54
format="%(message)s") # Show basic log messages
56
logging.captureWarnings(True) # Show warnings via the logging system
58
locale.setlocale(locale.LC_ALL, "")
60
logging.getLogger("dbus.proxies").setLevel(logging.CRITICAL)
54
62
# Some useful constants
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)
63
domain = "se.recompile"
64
server_interface = domain + ".Mandos"
65
client_interface = domain + ".Mandos.Client"
69
dbus.OBJECT_MANAGER_IFACE
70
except AttributeError:
71
dbus.OBJECT_MANAGER_IFACE = "org.freedesktop.DBus.ObjectManager"
68
74
def isoformat_to_datetime(iso):
69
75
"Parse an ISO 8601 date string to a datetime.datetime()"
89
96
def __init__(self, proxy_object=None, properties=None, **kwargs):
90
self.proxy = proxy_object # Mandos Client proxy object
97
self.proxy = proxy_object # Mandos Client proxy object
91
98
self.properties = dict() if properties is None else properties
92
99
self.property_changed_match = (
93
self.proxy.connect_to_signal("PropertyChanged",
94
self._property_changed,
100
self.proxy.connect_to_signal("PropertiesChanged",
101
self.properties_changed,
102
dbus.PROPERTIES_IFACE,
96
103
byte_arrays=True))
98
105
if properties is None:
99
self.properties.update(
100
self.proxy.GetAll(client_interface,
102
= dbus.PROPERTIES_IFACE))
106
self.properties.update(self.proxy.GetAll(
108
dbus_interface=dbus.PROPERTIES_IFACE))
104
110
super(MandosClientPropertyCache, self).__init__(**kwargs)
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.
112
def properties_changed(self, interface, properties, invalidated):
113
"""This is called whenever we get a PropertiesChanged signal
114
It updates the changed properties in the "properties" dict.
114
116
# Update properties dict with new value
115
self.properties[property] = value
117
if interface == client_interface:
118
self.properties.update(properties)
117
120
def delete(self):
118
121
self.property_changed_match.remove()
165
166
client_interface,
166
167
byte_arrays=True))
167
#self.logger('Created client {0}'
168
# .format(self.properties["Name"]))
168
log.debug("Created client %s", self.properties["Name"])
170
170
def using_timer(self, flag):
171
171
"""Call this method with True or False when timer should be
172
172
activated or deactivated.
174
174
if flag and self._update_timer_callback_tag is None:
175
175
# Will update the shown timer value every second
176
self._update_timer_callback_tag = (gobject.timeout_add
176
self._update_timer_callback_tag = (
177
GLib.timeout_add(1000,
178
glib_safely(self.update_timer)))
179
179
elif not (flag or self._update_timer_callback_tag is None):
180
gobject.source_remove(self._update_timer_callback_tag)
180
GLib.source_remove(self._update_timer_callback_tag)
181
181
self._update_timer_callback_tag = None
183
183
def checker_completed(self, exitstatus, condition, command):
184
184
if exitstatus == 0:
185
log.debug('Checker for client %s (command "%s")'
186
" succeeded", self.properties["Name"], command)
188
190
if os.WIFEXITED(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)))
191
log.info('Checker for client %s (command "%s") failed'
192
" with exit code %d", self.properties["Name"],
193
command, os.WEXITSTATUS(condition))
193
194
elif os.WIFSIGNALED(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"]))
195
log.info('Checker for client %s (command "%s") was'
196
" killed by signal %d", self.properties["Name"],
197
command, os.WTERMSIG(condition))
208
200
def checker_started(self, 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"],
201
"""Server signals that a checker started."""
202
log.debug('Client %s started checker "%s"',
203
self.properties["Name"], command)
216
205
def got_secret(self):
217
self.logger('Client {0} received its secret'
218
.format(self.properties["Name"]))
206
log.info("Client %s received its secret",
207
self.properties["Name"])
220
209
def need_approval(self, timeout, default):
222
message = 'Client {0} needs approval within {1} seconds'
211
message = "Client %s needs approval within %f seconds"
224
message = 'Client {0} will get its secret in {1} seconds'
225
self.logger(message.format(self.properties["Name"],
213
message = "Client %s will get its secret in %f seconds"
214
log.info(message, self.properties["Name"], timeout/1000)
228
216
def rejected(self, reason):
229
self.logger('Client {0} was rejected; reason: {1}'
230
.format(self.properties["Name"], reason))
217
log.info("Client %s was rejected; reason: %s",
218
self.properties["Name"], reason)
232
220
def selectable(self):
233
221
"""Make this a "selectable" widget.
234
222
This overrides the method from urwid.FlowWidget."""
237
225
def rows(self, maxcolrow, focus=False):
238
226
"""How many rows this widget will occupy might depend on
239
227
whether we have focus or not.
240
228
This overrides the method from urwid.FlowWidget"""
241
229
return self.current_widget(focus).rows(maxcolrow, focus=focus)
243
231
def current_widget(self, focus=False):
244
232
if focus or self.opened:
245
233
return self._focus_widget
246
234
return self._widget
248
236
def update(self):
249
237
"Called when what is visible on the screen should be updated."
250
238
# How to add standout mode to a style
251
with_standout = { "normal": "standout",
252
"bold": "bold-standout",
254
"underline-blink-standout",
255
"bold-underline-blink":
256
"bold-underline-blink-standout",
239
with_standout = {"normal": "standout",
240
"bold": "bold-standout",
242
"underline-blink-standout",
243
"bold-underline-blink":
244
"bold-underline-blink-standout",
259
247
# Rebuild focus and non-focus widgets using current properties
261
249
# Base part of a client. Name!
262
base = '{name}: '.format(name=self.properties["Name"])
250
base = "{name}: ".format(name=self.properties["Name"])
263
251
if not self.properties["Enabled"]:
264
252
message = "DISABLED"
265
253
self.using_timer(False)
266
254
elif self.properties["ApprovalPending"]:
267
timeout = datetime.timedelta(milliseconds
255
timeout = datetime.timedelta(
256
milliseconds=self.properties["ApprovalDelay"])
270
257
last_approval_request = isoformat_to_datetime(
271
258
self.properties["LastApprovalRequest"])
272
259
if last_approval_request is not None:
332
320
if self.delete_hook is not None:
333
321
self.delete_hook(self)
334
322
return super(MandosClientWidget, self).delete(**kwargs)
336
324
def render(self, maxcolrow, focus=False):
337
325
"""Render differently if we have focus.
338
326
This overrides the method from urwid.FlowWidget"""
339
327
return self.current_widget(focus).render(maxcolrow,
342
330
def keypress(self, maxcolrow, key):
344
332
This overrides the method from urwid.FlowWidget"""
346
self.proxy.Enable(dbus_interface = client_interface,
334
self.proxy.Set(client_interface, "Enabled",
335
dbus.Boolean(True), ignore_reply=True,
336
dbus_interface=dbus.PROPERTIES_IFACE)
349
self.proxy.Disable(dbus_interface = client_interface,
338
self.proxy.Set(client_interface, "Enabled", False,
340
dbus_interface=dbus.PROPERTIES_IFACE)
352
342
self.proxy.Approve(dbus.Boolean(True, variant_level=1),
353
dbus_interface = client_interface,
343
dbus_interface=client_interface,
354
344
ignore_reply=True)
356
346
self.proxy.Approve(dbus.Boolean(False, variant_level=1),
357
dbus_interface = client_interface,
347
dbus_interface=client_interface,
358
348
ignore_reply=True)
359
349
elif key == "R" or key == "_" or key == "ctrl k":
360
350
self.server_proxy_object.RemoveClient(self.proxy
362
352
ignore_reply=True)
364
self.proxy.StartChecker(dbus_interface = client_interface,
354
self.proxy.Set(client_interface, "CheckerRunning",
355
dbus.Boolean(True), ignore_reply=True,
356
dbus_interface=dbus.PROPERTIES_IFACE)
367
self.proxy.StopChecker(dbus_interface = client_interface,
358
self.proxy.Set(client_interface, "CheckerRunning",
359
dbus.Boolean(False), ignore_reply=True,
360
dbus_interface=dbus.PROPERTIES_IFACE)
370
self.proxy.CheckedOK(dbus_interface = client_interface,
362
self.proxy.CheckedOK(dbus_interface=client_interface,
371
363
ignore_reply=True)
373
365
# elif key == "p" or key == "=":
382
def property_changed(self, property=None, **kwargs):
383
"""Call self.update() if old value is not new value.
374
def properties_changed(self, interface, properties, invalidated):
375
"""Call self.update() if any properties changed.
384
376
This overrides the method from MandosClientPropertyCache"""
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:
377
old_values = {key: self.properties.get(key)
378
for key in properties.keys()}
379
super(MandosClientWidget, self).properties_changed(
380
interface, properties, invalidated)
381
if any(old_values[key] != self.properties.get(key)
382
for key in old_values):
386
def glib_safely(func, retval=True):
387
def safe_func(*args, **kwargs):
389
return func(*args, **kwargs)
393
396
class ConstrainedListBox(urwid.ListBox):
394
397
"""Like a normal urwid.ListBox, but will consume all "up" or
395
398
"down" key presses, thus not allowing any containing widgets to
396
399
use them as an excuse to shift focus away from this widget.
398
401
def keypress(self, *args, **kwargs):
399
ret = super(ConstrainedListBox, self).keypress(*args, **kwargs)
402
ret = (super(ConstrainedListBox, self)
403
.keypress(*args, **kwargs))
400
404
if ret in ("up", "down"):
409
413
def __init__(self, max_log_length=1000):
410
414
DBusGMainLoop(set_as_default=True)
412
416
self.screen = urwid.curses_display.Screen()
414
418
self.screen.register_palette((
416
420
"default", "default", None),
418
"default", "default", "bold"),
422
"bold", "default", "bold"),
419
423
("underline-blink",
420
"default", "default", "underline"),
424
"underline,blink", "default", "underline,blink"),
422
"default", "default", "standout"),
426
"standout", "default", "standout"),
423
427
("bold-underline-blink",
424
"default", "default", ("bold", "underline")),
428
"bold,underline,blink", "default",
429
"bold,underline,blink"),
425
430
("bold-standout",
426
"default", "default", ("bold", "standout")),
431
"bold,standout", "default", "bold,standout"),
427
432
("underline-blink-standout",
428
"default", "default", ("underline", "standout")),
433
"underline,blink,standout", "default",
434
"underline,blink,standout"),
429
435
("bold-underline-blink-standout",
430
"default", "default", ("bold", "underline",
436
"bold,underline,blink,standout", "default",
437
"bold,underline,blink,standout"),
434
440
if urwid.supports_unicode():
435
self.divider = "─" # \u2500
436
#self.divider = "━" # \u2501
441
self.divider = "─" # \u2500
438
#self.divider = "-" # \u002d
439
self.divider = "_" # \u005f
443
self.divider = "_" # \u005f
441
445
self.screen.start()
443
447
self.size = self.screen.get_cols_rows()
445
449
self.clients = urwid.SimpleListWalker([])
446
450
self.clients_dict = {}
448
452
# We will add Text widgets to this list
453
self.log = urwid.SimpleListWalker([])
450
454
self.max_log_length = max_log_length
452
456
# We keep a reference to the log widget so we can remove it
453
457
# from the ListWalker without it getting destroyed
454
458
self.logbox = ConstrainedListBox(self.log)
456
460
# This keeps track of whether self.uilist currently has
457
461
# self.logbox in it or not
458
462
self.log_visible = True
459
463
self.log_wrap = "any"
465
self.loghandler = UILogHandler(self)
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))
468
self.add_log_line(("bold",
469
"Mandos Monitor version " + version))
470
self.add_log_line(("bold", "q: Quit ?: Help"))
472
self.busname = domain + ".Mandos"
473
self.main_loop = GLib.MainLoop()
475
def client_not_found(self, key_id, address):
476
log.info("Client with address %s and key ID %s could"
477
" not be found", address, key_id)
475
479
def rebuild(self):
476
480
"""This rebuilds the User Interface.
477
481
Call this when the widget layout needs to change"""
479
#self.uilist.append(urwid.ListBox(self.clients))
483
# self.uilist.append(urwid.ListBox(self.clients))
480
484
self.uilist.append(urwid.Frame(ConstrainedListBox(self.
482
#header=urwid.Divider(),
486
# header=urwid.Divider(),
485
urwid.Divider(div_char=
488
footer=urwid.Divider(
489
div_char=self.divider)))
487
490
if self.log_visible:
488
491
self.uilist.append(self.logbox)
489
492
self.topwidget = urwid.Pile(self.uilist)
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."""
494
def add_log_line(self, markup):
498
495
self.log.append(urwid.Text(markup, wrap=self.log_wrap))
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),
496
if self.max_log_length:
497
if len(self.log) > self.max_log_length:
498
del self.log[0:(len(self.log) - self.max_log_length)]
499
self.logbox.set_focus(len(self.logbox.body.contents)-1,
503
500
coming_from="above")
506
503
def toggle_log_display(self):
507
504
"""Toggle visibility of the log buffer."""
508
505
self.log_visible = not self.log_visible
510
#self.log_message("Log visibility changed to: "
511
# + unicode(self.log_visible))
507
log.debug("Log visibility changed to: %s", self.log_visible)
513
509
def change_log_display(self):
514
510
"""Change type of log display.
515
511
Currently, this toggles wrapping of text lines."""
519
515
self.log_wrap = "clip"
520
516
for textwidget in self.log:
521
517
textwidget.set_wrap_mode(self.log_wrap)
522
#self.log_message("Wrap mode: " + self.log_wrap)
524
def find_and_remove_client(self, path, name):
518
log.debug("Wrap mode: %s", self.log_wrap)
520
def find_and_remove_client(self, path, interfaces):
525
521
"""Find a client by its object path and remove it.
527
This is connected to the ClientRemoved signal from the
523
This is connected to the InterfacesRemoved signal from the
528
524
Mandos server object."""
525
if client_interface not in interfaces:
526
# Not a Mandos client object; ignore
530
529
client = self.clients_dict[path]
533
self.log_message("Unknown client {0!r} ({1!r}) removed"
532
log.warning("Unknown client %s removed", path)
538
def add_new_client(self, path):
536
def add_new_client(self, path, ifs_and_props):
537
"""Find a client by its object path and remove it.
539
This is connected to the InterfacesAdded signal from the
540
Mandos server object.
542
if client_interface not in ifs_and_props:
543
# Not a Mandos client object; ignore
539
545
client_proxy_object = self.bus.get_object(self.busname, path)
540
self.add_client(MandosClientWidget(server_proxy_object
543
=client_proxy_object,
546
self.add_client(MandosClientWidget(
547
server_proxy_object=self.mandos_serv,
548
proxy_object=client_proxy_object,
549
update_hook=self.refresh,
550
delete_hook=self.remove_client,
551
properties=dict(ifs_and_props[client_interface])),
552
554
def add_client(self, client, path=None):
553
555
self.clients.append(client)
555
557
path = client.proxy.object_path
556
558
self.clients_dict[path] = client
557
self.clients.sort(None, lambda c: c.properties["Name"])
559
self.clients.sort(key=lambda c: c.properties["Name"])
560
562
def remove_client(self, client, path=None):
561
563
self.clients.remove(client)
563
565
path = client.proxy.object_path
564
566
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([])
572
569
def refresh(self):
573
570
"""Redraw the screen"""
574
571
canvas = self.topwidget.render(self.size, focus=True)
575
572
self.screen.draw_screen(self.size, canvas)
578
575
"""Start the main loop and exit when it's done."""
576
log.addHandler(self.loghandler)
577
self.orig_log_propagate = log.propagate
578
log.propagate = False
579
self.orig_log_level = log.level
579
581
self.bus = dbus.SystemBus()
580
582
mandos_dbus_objc = self.bus.get_object(
581
583
self.busname, "/", follow_name_owner_changes=True)
582
self.mandos_serv = dbus.Interface(mandos_dbus_objc,
584
self.mandos_serv = dbus.Interface(
585
mandos_dbus_objc, dbus_interface=server_interface)
586
587
mandos_clients = (self.mandos_serv
587
588
.GetAllClientsWithProperties())
588
589
if not mandos_clients:
589
self.log_message_raw(("bold", "Note: Server has no clients."))
590
log.warning("Note: Server has no clients.")
590
591
except dbus.exceptions.DBusException:
591
self.log_message_raw(("bold", "Note: No Mandos servers running."))
592
log.warning("Note: No Mandos server running.")
592
593
mandos_clients = dbus.Dictionary()
594
595
(self.mandos_serv
595
.connect_to_signal("ClientRemoved",
596
.connect_to_signal("InterfacesRemoved",
596
597
self.find_and_remove_client,
597
dbus_interface=server_interface,
598
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
598
599
byte_arrays=True))
599
600
(self.mandos_serv
600
.connect_to_signal("ClientAdded",
601
.connect_to_signal("InterfacesAdded",
601
602
self.add_new_client,
602
dbus_interface=server_interface,
603
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
603
604
byte_arrays=True))
604
605
(self.mandos_serv
605
606
.connect_to_signal("ClientNotFound",
606
607
self.client_not_found,
607
608
dbus_interface=server_interface,
608
609
byte_arrays=True))
609
for path, client in mandos_clients.iteritems():
610
for path, client in mandos_clients.items():
610
611
client_proxy_object = self.bus.get_object(self.busname,
612
self.add_client(MandosClientWidget(server_proxy_object
615
=client_proxy_object,
613
self.add_client(MandosClientWidget(
614
server_proxy_object=self.mandos_serv,
615
proxy_object=client_proxy_object,
617
update_hook=self.refresh,
618
delete_hook=self.remove_client),
626
self._input_callback_tag = (gobject.io_add_watch
622
self._input_callback_tag = (
624
GLib.IOChannel.unix_new(sys.stdin.fileno()),
625
GLib.PRIORITY_DEFAULT, GLib.IO_IN,
626
glib_safely(self.process_input)))
630
627
self.main_loop.run()
631
628
# Main loop has finished, we should close everything now
632
gobject.source_remove(self._input_callback_tag)
629
GLib.source_remove(self._input_callback_tag)
630
with warnings.catch_warnings():
631
warnings.simplefilter("ignore", BytesWarning)
636
635
self.main_loop.quit()
636
log.removeHandler(self.loghandler)
637
log.propagate = self.orig_log_propagate
638
639
def process_input(self, source, condition):
639
640
keys = self.screen.get_input()
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
641
translations = {"ctrl n": "down", # Emacs
642
"ctrl p": "up", # Emacs
643
"ctrl v": "page down", # Emacs
644
"meta v": "page up", # Emacs
645
" ": "page down", # less
646
"f": "page down", # less
647
"b": "page up", # less
652
653
key = translations[key]
653
654
except KeyError: # :-)
656
657
if key == "q" or key == "Q":
659
660
elif key == "window resize":
660
661
self.size = self.screen.get_cols_rows()
662
elif key == "\f": # Ctrl-L
663
elif key == "ctrl l":
664
666
elif key == "l" or key == "D":
665
667
self.toggle_log_display()
697
700
self.topwidget.set_focus(self.logbox)
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
703
if log.level < logging.INFO:
704
log.setLevel(logging.INFO)
705
log.info("Verbose mode: Off")
707
log.setLevel(logging.NOTSET)
708
log.info("Verbose mode: On")
709
# elif (key == "end" or key == "meta >" or key == "G"
711
# pass # xxx end-of-buffer
712
# elif (key == "home" or key == "meta <" or key == "g"
714
# pass # xxx beginning-of-buffer
715
# elif key == "ctrl e" or key == "$":
716
# pass # xxx move-end-of-line
717
# elif key == "ctrl a" or key == "^":
718
# pass # xxx move-beginning-of-line
719
# elif key == "ctrl b" or key == "meta (" or key == "h":
721
# elif key == "ctrl f" or key == "meta )" or key == "l":
724
# pass # scroll up log
726
# pass # scroll down log
717
727
elif self.topwidget.selectable():
718
728
self.topwidget.keypress(self.size, key)
733
class UILogHandler(logging.Handler):
734
def __init__(self, ui, *args, **kwargs):
736
super(UILogHandler, self).__init__(*args, **kwargs)
738
logging.Formatter("%(asctime)s: %(message)s"))
739
def emit(self, record):
740
msg = self.format(record)
741
if record.levelno > logging.INFO:
743
self.ui.add_log_line(msg)
722
746
ui = UserInterface()
725
749
except KeyboardInterrupt:
728
ui.log_message(unicode(e))
750
with warnings.catch_warnings():
751
warnings.filterwarnings("ignore", "", BytesWarning)
754
with warnings.catch_warnings():
755
warnings.filterwarnings("ignore", "", BytesWarning)