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
26
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:
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)
54
68
# 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)
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"
68
80
def isoformat_to_datetime(iso):
69
81
"Parse an ISO 8601 date string to a datetime.datetime()"
81
int(second), # Whole seconds
82
int(fraction*1000000)) # Microseconds
84
class MandosClientPropertyCache(object):
93
int(second), # Whole seconds
94
int(fraction*1000000)) # Microseconds
97
class MandosClientPropertyCache:
85
98
"""This wraps a Mandos Client D-Bus proxy object, caches the
86
99
properties and calls a hook function when any of them are
89
102
def __init__(self, proxy_object=None, properties=None, **kwargs):
90
self.proxy = proxy_object # Mandos Client proxy object
103
self.proxy = proxy_object # Mandos Client proxy object
91
104
self.properties = dict() if properties is None else properties
92
105
self.property_changed_match = (
93
self.proxy.connect_to_signal("PropertyChanged",
94
self._property_changed,
106
self.proxy.connect_to_signal("PropertiesChanged",
107
self.properties_changed,
108
dbus.PROPERTIES_IFACE,
96
109
byte_arrays=True))
98
111
if properties is None:
99
self.properties.update(
100
self.proxy.GetAll(client_interface,
102
= dbus.PROPERTIES_IFACE))
112
self.properties.update(self.proxy.GetAll(
114
dbus_interface=dbus.PROPERTIES_IFACE))
104
116
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.
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.
114
122
# Update properties dict with new value
115
self.properties[property] = value
123
if interface == client_interface:
124
self.properties.update(properties)
117
126
def delete(self):
118
127
self.property_changed_match.remove()
165
172
client_interface,
166
173
byte_arrays=True))
167
#self.logger('Created client {0}'
168
# .format(self.properties["Name"]))
174
log.debug("Created client %s", self.properties["Name"])
170
176
def using_timer(self, flag):
171
177
"""Call this method with True or False when timer should be
172
178
activated or deactivated.
174
180
if flag and self._update_timer_callback_tag is None:
175
181
# Will update the shown timer value every second
176
self._update_timer_callback_tag = (gobject.timeout_add
182
self._update_timer_callback_tag = (
183
GLib.timeout_add(1000,
184
glib_safely(self.update_timer)))
179
185
elif not (flag or self._update_timer_callback_tag is None):
180
gobject.source_remove(self._update_timer_callback_tag)
186
GLib.source_remove(self._update_timer_callback_tag)
181
187
self._update_timer_callback_tag = None
183
189
def checker_completed(self, exitstatus, condition, command):
184
190
if exitstatus == 0:
191
log.debug('Checker for client %s (command "%s")'
192
" succeeded", self.properties["Name"], command)
188
196
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)))
197
log.info('Checker for client %s (command "%s") failed'
198
" with exit code %d", self.properties["Name"],
199
command, os.WEXITSTATUS(condition))
193
200
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"]))
201
log.info('Checker for client %s (command "%s") was'
202
" killed by signal %d", self.properties["Name"],
203
command, os.WTERMSIG(condition))
208
206
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"],
207
"""Server signals that a checker started."""
208
log.debug('Client %s started checker "%s"',
209
self.properties["Name"], command)
216
211
def got_secret(self):
217
self.logger('Client {0} received its secret'
218
.format(self.properties["Name"]))
212
log.info("Client %s received its secret",
213
self.properties["Name"])
220
215
def need_approval(self, timeout, default):
222
message = 'Client {0} needs approval within {1} seconds'
217
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"],
219
message = "Client %s will get its secret in %f seconds"
220
log.info(message, self.properties["Name"], timeout/1000)
228
222
def rejected(self, reason):
229
self.logger('Client {0} was rejected; reason: {1}'
230
.format(self.properties["Name"], reason))
223
log.info("Client %s was rejected; reason: %s",
224
self.properties["Name"], reason)
232
226
def selectable(self):
233
227
"""Make this a "selectable" widget.
234
228
This overrides the method from urwid.FlowWidget."""
237
231
def rows(self, maxcolrow, focus=False):
238
232
"""How many rows this widget will occupy might depend on
239
233
whether we have focus or not.
240
234
This overrides the method from urwid.FlowWidget"""
241
235
return self.current_widget(focus).rows(maxcolrow, focus=focus)
243
237
def current_widget(self, focus=False):
244
238
if focus or self.opened:
245
239
return self._focus_widget
246
240
return self._widget
248
242
def update(self):
249
243
"Called when what is visible on the screen should be updated."
250
244
# 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",
245
with_standout = {"normal": "standout",
246
"bold": "bold-standout",
248
"underline-blink-standout",
249
"bold-underline-blink":
250
"bold-underline-blink-standout",
259
253
# Rebuild focus and non-focus widgets using current properties
261
255
# Base part of a client. Name!
262
base = '{name}: '.format(name=self.properties["Name"])
256
base = "{name}: ".format(name=self.properties["Name"])
263
257
if not self.properties["Enabled"]:
264
258
message = "DISABLED"
265
259
self.using_timer(False)
266
260
elif self.properties["ApprovalPending"]:
267
timeout = datetime.timedelta(milliseconds
261
timeout = datetime.timedelta(
262
milliseconds=self.properties["ApprovalDelay"])
270
263
last_approval_request = isoformat_to_datetime(
271
264
self.properties["LastApprovalRequest"])
272
265
if last_approval_request is not None:
332
326
if self.delete_hook is not None:
333
327
self.delete_hook(self)
334
328
return super(MandosClientWidget, self).delete(**kwargs)
336
330
def render(self, maxcolrow, focus=False):
337
331
"""Render differently if we have focus.
338
332
This overrides the method from urwid.FlowWidget"""
339
333
return self.current_widget(focus).render(maxcolrow,
342
336
def keypress(self, maxcolrow, key):
344
338
This overrides the method from urwid.FlowWidget"""
346
self.proxy.Enable(dbus_interface = client_interface,
340
self.proxy.Set(client_interface, "Enabled",
341
dbus.Boolean(True), ignore_reply=True,
342
dbus_interface=dbus.PROPERTIES_IFACE)
349
self.proxy.Disable(dbus_interface = client_interface,
344
self.proxy.Set(client_interface, "Enabled", False,
346
dbus_interface=dbus.PROPERTIES_IFACE)
352
348
self.proxy.Approve(dbus.Boolean(True, variant_level=1),
353
dbus_interface = client_interface,
349
dbus_interface=client_interface,
354
350
ignore_reply=True)
356
352
self.proxy.Approve(dbus.Boolean(False, variant_level=1),
357
dbus_interface = client_interface,
353
dbus_interface=client_interface,
358
354
ignore_reply=True)
359
355
elif key == "R" or key == "_" or key == "ctrl k":
360
356
self.server_proxy_object.RemoveClient(self.proxy
362
358
ignore_reply=True)
364
self.proxy.StartChecker(dbus_interface = client_interface,
360
self.proxy.Set(client_interface, "CheckerRunning",
361
dbus.Boolean(True), ignore_reply=True,
362
dbus_interface=dbus.PROPERTIES_IFACE)
367
self.proxy.StopChecker(dbus_interface = client_interface,
364
self.proxy.Set(client_interface, "CheckerRunning",
365
dbus.Boolean(False), ignore_reply=True,
366
dbus_interface=dbus.PROPERTIES_IFACE)
370
self.proxy.CheckedOK(dbus_interface = client_interface,
368
self.proxy.CheckedOK(dbus_interface=client_interface,
371
369
ignore_reply=True)
373
371
# elif key == "p" or key == "=":
382
def property_changed(self, property=None, **kwargs):
383
"""Call self.update() if old value is not new value.
380
def properties_changed(self, interface, properties, invalidated):
381
"""Call self.update() if any properties changed.
384
382
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:
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):
392
def glib_safely(func, retval=True):
393
def safe_func(*args, **kwargs):
395
return func(*args, **kwargs)
393
402
class ConstrainedListBox(urwid.ListBox):
394
403
"""Like a normal urwid.ListBox, but will consume all "up" or
395
404
"down" key presses, thus not allowing any containing widgets to
396
405
use them as an excuse to shift focus away from this widget.
398
407
def keypress(self, *args, **kwargs):
399
ret = super(ConstrainedListBox, self).keypress(*args, **kwargs)
408
ret = (super(ConstrainedListBox, self)
409
.keypress(*args, **kwargs))
400
410
if ret in ("up", "down"):
405
class UserInterface(object):
406
416
"""This is the entire user interface - the whole screen
407
417
with boxes, lists of client widgets, etc.
409
419
def __init__(self, max_log_length=1000):
410
420
DBusGMainLoop(set_as_default=True)
412
422
self.screen = urwid.curses_display.Screen()
414
424
self.screen.register_palette((
416
426
"default", "default", None),
418
"default", "default", "bold"),
428
"bold", "default", "bold"),
419
429
("underline-blink",
420
"default", "default", "underline"),
430
"underline,blink", "default", "underline,blink"),
422
"default", "default", "standout"),
432
"standout", "default", "standout"),
423
433
("bold-underline-blink",
424
"default", "default", ("bold", "underline")),
434
"bold,underline,blink", "default",
435
"bold,underline,blink"),
425
436
("bold-standout",
426
"default", "default", ("bold", "standout")),
437
"bold,standout", "default", "bold,standout"),
427
438
("underline-blink-standout",
428
"default", "default", ("underline", "standout")),
439
"underline,blink,standout", "default",
440
"underline,blink,standout"),
429
441
("bold-underline-blink-standout",
430
"default", "default", ("bold", "underline",
442
"bold,underline,blink,standout", "default",
443
"bold,underline,blink,standout"),
434
446
if urwid.supports_unicode():
435
self.divider = "─" # \u2500
436
#self.divider = "━" # \u2501
447
self.divider = "─" # \u2500
438
#self.divider = "-" # \u002d
439
self.divider = "_" # \u005f
449
self.divider = "_" # \u005f
441
451
self.screen.start()
443
453
self.size = self.screen.get_cols_rows()
445
455
self.clients = urwid.SimpleListWalker([])
446
456
self.clients_dict = {}
448
458
# We will add Text widgets to this list
459
self.log = urwid.SimpleListWalker([])
450
460
self.max_log_length = max_log_length
452
462
# We keep a reference to the log widget so we can remove it
453
463
# from the ListWalker without it getting destroyed
454
464
self.logbox = ConstrainedListBox(self.log)
456
466
# This keeps track of whether self.uilist currently has
457
467
# self.logbox in it or not
458
468
self.log_visible = True
459
469
self.log_wrap = "any"
471
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))
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)
475
485
def rebuild(self):
476
486
"""This rebuilds the User Interface.
477
487
Call this when the widget layout needs to change"""
479
#self.uilist.append(urwid.ListBox(self.clients))
489
# self.uilist.append(urwid.ListBox(self.clients))
480
490
self.uilist.append(urwid.Frame(ConstrainedListBox(self.
482
#header=urwid.Divider(),
492
# header=urwid.Divider(),
485
urwid.Divider(div_char=
494
footer=urwid.Divider(
495
div_char=self.divider)))
487
496
if self.log_visible:
488
497
self.uilist.append(self.logbox)
489
498
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."""
500
def add_log_line(self, markup):
498
501
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),
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,
503
506
coming_from="above")
506
509
def toggle_log_display(self):
507
510
"""Toggle visibility of the log buffer."""
508
511
self.log_visible = not self.log_visible
510
#self.log_message("Log visibility changed to: "
511
# + unicode(self.log_visible))
513
log.debug("Log visibility changed to: %s", self.log_visible)
513
515
def change_log_display(self):
514
516
"""Change type of log display.
515
517
Currently, this toggles wrapping of text lines."""
519
521
self.log_wrap = "clip"
520
522
for textwidget in self.log:
521
523
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):
524
log.debug("Wrap mode: %s", self.log_wrap)
526
def find_and_remove_client(self, path, interfaces):
525
527
"""Find a client by its object path and remove it.
527
This is connected to the ClientRemoved signal from the
529
This is connected to the InterfacesRemoved signal from the
528
530
Mandos server object."""
531
if client_interface not in interfaces:
532
# Not a Mandos client object; ignore
530
535
client = self.clients_dict[path]
533
self.log_message("Unknown client {0!r} ({1!r}) removed"
538
log.warning("Unknown client %s removed", path)
538
def add_new_client(self, path):
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
539
551
client_proxy_object = self.bus.get_object(self.busname, path)
540
self.add_client(MandosClientWidget(server_proxy_object
543
=client_proxy_object,
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])),
552
560
def add_client(self, client, path=None):
553
561
self.clients.append(client)
555
563
path = client.proxy.object_path
556
564
self.clients_dict[path] = client
557
self.clients.sort(None, lambda c: c.properties["Name"])
565
self.clients.sort(key=lambda c: c.properties["Name"])
560
568
def remove_client(self, client, path=None):
561
569
self.clients.remove(client)
563
571
path = client.proxy.object_path
564
572
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
575
def refresh(self):
573
576
"""Redraw the screen"""
574
577
canvas = self.topwidget.render(self.size, focus=True)
575
578
self.screen.draw_screen(self.size, canvas)
578
581
"""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
579
587
self.bus = dbus.SystemBus()
580
588
mandos_dbus_objc = self.bus.get_object(
581
589
self.busname, "/", follow_name_owner_changes=True)
582
self.mandos_serv = dbus.Interface(mandos_dbus_objc,
590
self.mandos_serv = dbus.Interface(
591
mandos_dbus_objc, dbus_interface=server_interface)
586
593
mandos_clients = (self.mandos_serv
587
594
.GetAllClientsWithProperties())
588
595
if not mandos_clients:
589
self.log_message_raw(("bold", "Note: Server has no clients."))
596
log.warning("Note: Server has no clients.")
590
597
except dbus.exceptions.DBusException:
591
self.log_message_raw(("bold", "Note: No Mandos servers running."))
598
log.warning("Note: No Mandos server running.")
592
599
mandos_clients = dbus.Dictionary()
594
601
(self.mandos_serv
595
.connect_to_signal("ClientRemoved",
602
.connect_to_signal("InterfacesRemoved",
596
603
self.find_and_remove_client,
597
dbus_interface=server_interface,
604
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
598
605
byte_arrays=True))
599
606
(self.mandos_serv
600
.connect_to_signal("ClientAdded",
607
.connect_to_signal("InterfacesAdded",
601
608
self.add_new_client,
602
dbus_interface=server_interface,
609
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
603
610
byte_arrays=True))
604
611
(self.mandos_serv
605
612
.connect_to_signal("ClientNotFound",
606
613
self.client_not_found,
607
614
dbus_interface=server_interface,
608
615
byte_arrays=True))
609
for path, client in mandos_clients.iteritems():
616
for path, client in mandos_clients.items():
610
617
client_proxy_object = self.bus.get_object(self.busname,
612
self.add_client(MandosClientWidget(server_proxy_object
615
=client_proxy_object,
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),
626
self._input_callback_tag = (gobject.io_add_watch
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)))
630
633
self.main_loop.run()
631
634
# Main loop has finished, we should close everything now
632
gobject.source_remove(self._input_callback_tag)
635
GLib.source_remove(self._input_callback_tag)
636
with warnings.catch_warnings():
637
warnings.simplefilter("ignore", BytesWarning)
636
641
self.main_loop.quit()
642
log.removeHandler(self.loghandler)
643
log.propagate = self.orig_log_propagate
638
645
def process_input(self, source, condition):
639
646
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
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
652
659
key = translations[key]
653
660
except KeyError: # :-)
656
663
if key == "q" or key == "Q":
659
666
elif key == "window resize":
660
667
self.size = self.screen.get_cols_rows()
662
elif key == "\f": # Ctrl-L
669
elif key == "ctrl l":
664
672
elif key == "l" or key == "D":
665
673
self.toggle_log_display()
697
706
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
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
717
733
elif self.topwidget.selectable():
718
734
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)
722
752
ui = UserInterface()
725
755
except KeyboardInterrupt:
728
ui.log_message(unicode(e))
756
with warnings.catch_warnings():
757
warnings.filterwarnings("ignore", "", BytesWarning)
760
with warnings.catch_warnings():
761
warnings.filterwarnings("ignore", "", BytesWarning)