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
39
import urwid.curses_display
40
42
from dbus.mainloop.glib import DBusGMainLoop
43
from gi.repository import GLib
51
if sys.version_info.major == 2:
54
log = logging.getLogger(os.path.basename(sys.argv[0]))
55
logging.basicConfig(level="NOTSET", # Show all messages
56
format="%(message)s") # Show basic log messages
58
logging.captureWarnings(True) # Show warnings via the logging system
49
60
locale.setlocale(locale.LC_ALL, '')
52
62
logging.getLogger('dbus.proxies').setLevel(logging.CRITICAL)
54
64
# Some useful constants
55
65
domain = 'se.recompile'
56
66
server_interface = domain + '.Mandos'
57
67
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)
71
dbus.OBJECT_MANAGER_IFACE
72
except AttributeError:
73
dbus.OBJECT_MANAGER_IFACE = "org.freedesktop.DBus.ObjectManager"
68
76
def isoformat_to_datetime(iso):
69
77
"Parse an ISO 8601 date string to a datetime.datetime()"
89
98
def __init__(self, proxy_object=None, properties=None, **kwargs):
90
self.proxy = proxy_object # Mandos Client proxy object
99
self.proxy = proxy_object # Mandos Client proxy object
91
100
self.properties = dict() if properties is None else properties
92
101
self.property_changed_match = (
93
self.proxy.connect_to_signal("PropertyChanged",
94
self._property_changed,
102
self.proxy.connect_to_signal("PropertiesChanged",
103
self.properties_changed,
104
dbus.PROPERTIES_IFACE,
96
105
byte_arrays=True))
98
107
if properties is None:
99
self.properties.update(
100
self.proxy.GetAll(client_interface,
102
= dbus.PROPERTIES_IFACE))
108
self.properties.update(self.proxy.GetAll(
110
dbus_interface=dbus.PROPERTIES_IFACE))
104
112
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.
114
def properties_changed(self, interface, properties, invalidated):
115
"""This is called whenever we get a PropertiesChanged signal
116
It updates the changed properties in the "properties" dict.
114
118
# Update properties dict with new value
115
self.properties[property] = value
119
if interface == client_interface:
120
self.properties.update(properties)
117
122
def delete(self):
118
123
self.property_changed_match.remove()
165
168
client_interface,
166
169
byte_arrays=True))
167
#self.logger('Created client {0}'
168
# .format(self.properties["Name"]))
170
log.debug('Created client %s', self.properties["Name"])
170
172
def using_timer(self, flag):
171
173
"""Call this method with True or False when timer should be
172
174
activated or deactivated.
174
176
if flag and self._update_timer_callback_tag is None:
175
177
# Will update the shown timer value every second
176
self._update_timer_callback_tag = (gobject.timeout_add
178
self._update_timer_callback_tag = (
179
GLib.timeout_add(1000,
180
glib_safely(self.update_timer)))
179
181
elif not (flag or self._update_timer_callback_tag is None):
180
gobject.source_remove(self._update_timer_callback_tag)
182
GLib.source_remove(self._update_timer_callback_tag)
181
183
self._update_timer_callback_tag = None
183
185
def checker_completed(self, exitstatus, condition, command):
184
186
if exitstatus == 0:
187
log.debug('Checker for client %s (command "%s")'
188
' succeeded', self.properties["Name"], command)
188
192
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)))
193
log.info('Checker for client %s (command "%s") failed'
194
' with exit code %d', self.properties["Name"],
195
command, os.WEXITSTATUS(condition))
193
196
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"]))
197
log.info('Checker for client %s (command "%s") was'
198
' killed by signal %d', self.properties["Name"],
199
command, os.WTERMSIG(condition))
208
202
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"],
203
"""Server signals that a checker started."""
204
log.debug('Client %s started checker "%s"',
205
self.properties["Name"], command)
216
207
def got_secret(self):
217
self.logger('Client {0} received its secret'
218
.format(self.properties["Name"]))
208
log.info("Client %s received its secret",
209
self.properties["Name"])
220
211
def need_approval(self, timeout, default):
222
message = 'Client {0} needs approval within {1} seconds'
213
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"],
215
message = "Client %s will get its secret in %f seconds"
216
log.info(message, self.properties["Name"], timeout/1000)
228
218
def rejected(self, reason):
229
self.logger('Client {0} was rejected; reason: {1}'
230
.format(self.properties["Name"], reason))
219
log.info("Client %s was rejected; reason: %s",
220
self.properties["Name"], reason)
232
222
def selectable(self):
233
223
"""Make this a "selectable" widget.
234
224
This overrides the method from urwid.FlowWidget."""
237
227
def rows(self, maxcolrow, focus=False):
238
228
"""How many rows this widget will occupy might depend on
239
229
whether we have focus or not.
240
230
This overrides the method from urwid.FlowWidget"""
241
231
return self.current_widget(focus).rows(maxcolrow, focus=focus)
243
233
def current_widget(self, focus=False):
244
234
if focus or self.opened:
245
235
return self._focus_widget
246
236
return self._widget
248
238
def update(self):
249
239
"Called when what is visible on the screen should be updated."
250
240
# 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",
241
with_standout = {"normal": "standout",
242
"bold": "bold-standout",
244
"underline-blink-standout",
245
"bold-underline-blink":
246
"bold-underline-blink-standout",
259
249
# Rebuild focus and non-focus widgets using current properties
261
251
# Base part of a client. Name!
262
252
base = '{name}: '.format(name=self.properties["Name"])
263
253
if not self.properties["Enabled"]:
264
254
message = "DISABLED"
265
255
self.using_timer(False)
266
256
elif self.properties["ApprovalPending"]:
267
timeout = datetime.timedelta(milliseconds
257
timeout = datetime.timedelta(
258
milliseconds=self.properties["ApprovalDelay"])
270
259
last_approval_request = isoformat_to_datetime(
271
260
self.properties["LastApprovalRequest"])
272
261
if last_approval_request is not None:
332
322
if self.delete_hook is not None:
333
323
self.delete_hook(self)
334
324
return super(MandosClientWidget, self).delete(**kwargs)
336
326
def render(self, maxcolrow, focus=False):
337
327
"""Render differently if we have focus.
338
328
This overrides the method from urwid.FlowWidget"""
339
329
return self.current_widget(focus).render(maxcolrow,
342
332
def keypress(self, maxcolrow, key):
344
334
This overrides the method from urwid.FlowWidget"""
346
self.proxy.Enable(dbus_interface = client_interface,
336
self.proxy.Set(client_interface, "Enabled",
337
dbus.Boolean(True), ignore_reply=True,
338
dbus_interface=dbus.PROPERTIES_IFACE)
349
self.proxy.Disable(dbus_interface = client_interface,
340
self.proxy.Set(client_interface, "Enabled", False,
342
dbus_interface=dbus.PROPERTIES_IFACE)
352
344
self.proxy.Approve(dbus.Boolean(True, variant_level=1),
353
dbus_interface = client_interface,
345
dbus_interface=client_interface,
354
346
ignore_reply=True)
356
348
self.proxy.Approve(dbus.Boolean(False, variant_level=1),
357
dbus_interface = client_interface,
349
dbus_interface=client_interface,
358
350
ignore_reply=True)
359
351
elif key == "R" or key == "_" or key == "ctrl k":
360
352
self.server_proxy_object.RemoveClient(self.proxy
362
354
ignore_reply=True)
364
self.proxy.StartChecker(dbus_interface = client_interface,
356
self.proxy.Set(client_interface, "CheckerRunning",
357
dbus.Boolean(True), ignore_reply=True,
358
dbus_interface=dbus.PROPERTIES_IFACE)
367
self.proxy.StopChecker(dbus_interface = client_interface,
360
self.proxy.Set(client_interface, "CheckerRunning",
361
dbus.Boolean(False), ignore_reply=True,
362
dbus_interface=dbus.PROPERTIES_IFACE)
370
self.proxy.CheckedOK(dbus_interface = client_interface,
364
self.proxy.CheckedOK(dbus_interface=client_interface,
371
365
ignore_reply=True)
373
367
# elif key == "p" or key == "=":
382
def property_changed(self, property=None, **kwargs):
383
"""Call self.update() if old value is not new value.
376
def properties_changed(self, interface, properties, invalidated):
377
"""Call self.update() if any properties changed.
384
378
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:
379
old_values = {key: self.properties.get(key)
380
for key in properties.keys()}
381
super(MandosClientWidget, self).properties_changed(
382
interface, properties, invalidated)
383
if any(old_values[key] != self.properties.get(key)
384
for key in old_values):
388
def glib_safely(func, retval=True):
389
def safe_func(*args, **kwargs):
391
return func(*args, **kwargs)
393
398
class ConstrainedListBox(urwid.ListBox):
394
399
"""Like a normal urwid.ListBox, but will consume all "up" or
395
400
"down" key presses, thus not allowing any containing widgets to
396
401
use them as an excuse to shift focus away from this widget.
398
403
def keypress(self, *args, **kwargs):
399
ret = super(ConstrainedListBox, self).keypress(*args, **kwargs)
404
ret = (super(ConstrainedListBox, self)
405
.keypress(*args, **kwargs))
400
406
if ret in ("up", "down"):
409
415
def __init__(self, max_log_length=1000):
410
416
DBusGMainLoop(set_as_default=True)
412
418
self.screen = urwid.curses_display.Screen()
414
420
self.screen.register_palette((
416
422
"default", "default", None),
418
"default", "default", "bold"),
424
"bold", "default", "bold"),
419
425
("underline-blink",
420
"default", "default", "underline"),
426
"underline,blink", "default", "underline,blink"),
422
"default", "default", "standout"),
428
"standout", "default", "standout"),
423
429
("bold-underline-blink",
424
"default", "default", ("bold", "underline")),
430
"bold,underline,blink", "default",
431
"bold,underline,blink"),
425
432
("bold-standout",
426
"default", "default", ("bold", "standout")),
433
"bold,standout", "default", "bold,standout"),
427
434
("underline-blink-standout",
428
"default", "default", ("underline", "standout")),
435
"underline,blink,standout", "default",
436
"underline,blink,standout"),
429
437
("bold-underline-blink-standout",
430
"default", "default", ("bold", "underline",
438
"bold,underline,blink,standout", "default",
439
"bold,underline,blink,standout"),
434
442
if urwid.supports_unicode():
435
self.divider = "─" # \u2500
436
#self.divider = "━" # \u2501
443
self.divider = "─" # \u2500
438
#self.divider = "-" # \u002d
439
self.divider = "_" # \u005f
445
self.divider = "_" # \u005f
441
447
self.screen.start()
443
449
self.size = self.screen.get_cols_rows()
445
451
self.clients = urwid.SimpleListWalker([])
446
452
self.clients_dict = {}
448
454
# We will add Text widgets to this list
455
self.log = urwid.SimpleListWalker([])
450
456
self.max_log_length = max_log_length
452
458
# We keep a reference to the log widget so we can remove it
453
459
# from the ListWalker without it getting destroyed
454
460
self.logbox = ConstrainedListBox(self.log)
456
462
# This keeps track of whether self.uilist currently has
457
463
# self.logbox in it or not
458
464
self.log_visible = True
459
465
self.log_wrap = "any"
467
self.loghandler = UILogHandler(self)
462
self.log_message_raw(("bold",
463
"Mandos Monitor version " + version))
464
self.log_message_raw(("bold",
470
self.add_log_line(("bold",
471
"Mandos Monitor version " + version))
472
self.add_log_line(("bold", "q: Quit ?: Help"))
467
474
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))
475
self.main_loop = GLib.MainLoop()
477
def client_not_found(self, key_id, address):
478
log.info("Client with address %s and key ID %s could"
479
" not be found", address, key_id)
475
481
def rebuild(self):
476
482
"""This rebuilds the User Interface.
477
483
Call this when the widget layout needs to change"""
479
#self.uilist.append(urwid.ListBox(self.clients))
485
# self.uilist.append(urwid.ListBox(self.clients))
480
486
self.uilist.append(urwid.Frame(ConstrainedListBox(self.
482
#header=urwid.Divider(),
488
# header=urwid.Divider(),
485
urwid.Divider(div_char=
490
footer=urwid.Divider(
491
div_char=self.divider)))
487
492
if self.log_visible:
488
493
self.uilist.append(self.logbox)
489
494
self.topwidget = urwid.Pile(self.uilist)
491
def log_message(self, message):
492
timestamp = datetime.datetime.now().isoformat()
493
self.log_message_raw(timestamp + ": " + message)
495
def log_message_raw(self, markup):
496
"""Add a log message to the log buffer."""
496
def add_log_line(self, markup):
497
497
self.log.append(urwid.Text(markup, wrap=self.log_wrap))
498
if (self.max_log_length
499
and len(self.log) > self.max_log_length):
500
del self.log[0:len(self.log)-self.max_log_length-1]
501
self.logbox.set_focus(len(self.logbox.body.contents),
498
if self.max_log_length:
499
if len(self.log) > self.max_log_length:
500
del self.log[0:(len(self.log) - self.max_log_length)]
501
self.logbox.set_focus(len(self.logbox.body.contents)-1,
502
502
coming_from="above")
505
505
def toggle_log_display(self):
506
506
"""Toggle visibility of the log buffer."""
507
507
self.log_visible = not self.log_visible
509
#self.log_message("Log visibility changed to: "
510
# + unicode(self.log_visible))
509
log.debug("Log visibility changed to: %s", self.log_visible)
512
511
def change_log_display(self):
513
512
"""Change type of log display.
514
513
Currently, this toggles wrapping of text lines."""
518
517
self.log_wrap = "clip"
519
518
for textwidget in self.log:
520
519
textwidget.set_wrap_mode(self.log_wrap)
521
#self.log_message("Wrap mode: " + self.log_wrap)
523
def find_and_remove_client(self, path, name):
520
log.debug("Wrap mode: %s", self.log_wrap)
522
def find_and_remove_client(self, path, interfaces):
524
523
"""Find a client by its object path and remove it.
526
This is connected to the ClientRemoved signal from the
525
This is connected to the InterfacesRemoved signal from the
527
526
Mandos server object."""
527
if client_interface not in interfaces:
528
# Not a Mandos client object; ignore
529
531
client = self.clients_dict[path]
532
self.log_message("Unknown client {0!r} ({1!r}) removed"
534
log.warning("Unknown client %s removed", path)
537
def add_new_client(self, path):
538
def add_new_client(self, path, ifs_and_props):
539
"""Find a client by its object path and remove it.
541
This is connected to the InterfacesAdded signal from the
542
Mandos server object.
544
if client_interface not in ifs_and_props:
545
# Not a Mandos client object; ignore
538
547
client_proxy_object = self.bus.get_object(self.busname, path)
539
self.add_client(MandosClientWidget(server_proxy_object
542
=client_proxy_object,
548
self.add_client(MandosClientWidget(
549
server_proxy_object=self.mandos_serv,
550
proxy_object=client_proxy_object,
551
update_hook=self.refresh,
552
delete_hook=self.remove_client,
553
properties=dict(ifs_and_props[client_interface])),
551
556
def add_client(self, client, path=None):
552
557
self.clients.append(client)
554
559
path = client.proxy.object_path
555
560
self.clients_dict[path] = client
556
self.clients.sort(None, lambda c: c.properties["Name"])
561
self.clients.sort(key=lambda c: c.properties["Name"])
559
564
def remove_client(self, client, path=None):
560
565
self.clients.remove(client)
562
567
path = client.proxy.object_path
563
568
del self.clients_dict[path]
564
if not self.clients_dict:
565
# Work around bug in Urwid 0.9.8.3 - if a SimpleListWalker
566
# is completely emptied, we need to recreate it.
567
self.clients = urwid.SimpleListWalker([])
571
571
def refresh(self):
572
572
"""Redraw the screen"""
573
573
canvas = self.topwidget.render(self.size, focus=True)
574
574
self.screen.draw_screen(self.size, canvas)
577
577
"""Start the main loop and exit when it's done."""
578
log.addHandler(self.loghandler)
579
self.orig_log_propagate = log.propagate
580
log.propagate = False
581
self.orig_log_level = log.level
578
583
self.bus = dbus.SystemBus()
579
584
mandos_dbus_objc = self.bus.get_object(
580
585
self.busname, "/", follow_name_owner_changes=True)
581
self.mandos_serv = dbus.Interface(mandos_dbus_objc,
586
self.mandos_serv = dbus.Interface(
587
mandos_dbus_objc, dbus_interface=server_interface)
585
589
mandos_clients = (self.mandos_serv
586
590
.GetAllClientsWithProperties())
591
if not mandos_clients:
592
log.warning("Note: Server has no clients.")
587
593
except dbus.exceptions.DBusException:
594
log.warning("Note: No Mandos server running.")
588
595
mandos_clients = dbus.Dictionary()
590
597
(self.mandos_serv
591
.connect_to_signal("ClientRemoved",
598
.connect_to_signal("InterfacesRemoved",
592
599
self.find_and_remove_client,
593
dbus_interface=server_interface,
600
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
594
601
byte_arrays=True))
595
602
(self.mandos_serv
596
.connect_to_signal("ClientAdded",
603
.connect_to_signal("InterfacesAdded",
597
604
self.add_new_client,
598
dbus_interface=server_interface,
605
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
599
606
byte_arrays=True))
600
607
(self.mandos_serv
601
608
.connect_to_signal("ClientNotFound",
602
609
self.client_not_found,
603
610
dbus_interface=server_interface,
604
611
byte_arrays=True))
605
for path, client in mandos_clients.iteritems():
612
for path, client in mandos_clients.items():
606
613
client_proxy_object = self.bus.get_object(self.busname,
608
self.add_client(MandosClientWidget(server_proxy_object
611
=client_proxy_object,
615
self.add_client(MandosClientWidget(
616
server_proxy_object=self.mandos_serv,
617
proxy_object=client_proxy_object,
619
update_hook=self.refresh,
620
delete_hook=self.remove_client),
622
self._input_callback_tag = (gobject.io_add_watch
624
self._input_callback_tag = (
626
GLib.IOChannel.unix_new(sys.stdin.fileno()),
627
GLib.PRIORITY_DEFAULT, GLib.IO_IN,
628
glib_safely(self.process_input)))
626
629
self.main_loop.run()
627
630
# Main loop has finished, we should close everything now
628
gobject.source_remove(self._input_callback_tag)
631
GLib.source_remove(self._input_callback_tag)
632
with warnings.catch_warnings():
633
warnings.simplefilter("ignore", BytesWarning)
632
637
self.main_loop.quit()
638
log.removeHandler(self.loghandler)
639
log.propagate = self.orig_log_propagate
634
641
def process_input(self, source, condition):
635
642
keys = self.screen.get_input()
636
translations = { "ctrl n": "down", # Emacs
637
"ctrl p": "up", # Emacs
638
"ctrl v": "page down", # Emacs
639
"meta v": "page up", # Emacs
640
" ": "page down", # less
641
"f": "page down", # less
642
"b": "page up", # less
643
translations = {"ctrl n": "down", # Emacs
644
"ctrl p": "up", # Emacs
645
"ctrl v": "page down", # Emacs
646
"meta v": "page up", # Emacs
647
" ": "page down", # less
648
"f": "page down", # less
649
"b": "page up", # less
648
655
key = translations[key]
649
656
except KeyError: # :-)
652
659
if key == "q" or key == "Q":
655
662
elif key == "window resize":
656
663
self.size = self.screen.get_cols_rows()
658
elif key == "\f": # Ctrl-L
665
elif key == "ctrl l":
660
668
elif key == "l" or key == "D":
661
669
self.toggle_log_display()
693
702
self.topwidget.set_focus(self.logbox)
695
#elif (key == "end" or key == "meta >" or key == "G"
697
# pass # xxx end-of-buffer
698
#elif (key == "home" or key == "meta <" or key == "g"
700
# pass # xxx beginning-of-buffer
701
#elif key == "ctrl e" or key == "$":
702
# pass # xxx move-end-of-line
703
#elif key == "ctrl a" or key == "^":
704
# pass # xxx move-beginning-of-line
705
#elif key == "ctrl b" or key == "meta (" or key == "h":
707
#elif key == "ctrl f" or key == "meta )" or key == "l":
710
# pass # scroll up log
712
# pass # scroll down log
705
if log.level < logging.INFO:
706
log.setLevel(logging.INFO)
707
log.info("Verbose mode: Off")
709
log.setLevel(logging.NOTSET)
710
log.info("Verbose mode: On")
711
# elif (key == "end" or key == "meta >" or key == "G"
713
# pass # xxx end-of-buffer
714
# elif (key == "home" or key == "meta <" or key == "g"
716
# pass # xxx beginning-of-buffer
717
# elif key == "ctrl e" or key == "$":
718
# pass # xxx move-end-of-line
719
# elif key == "ctrl a" or key == "^":
720
# pass # xxx move-beginning-of-line
721
# elif key == "ctrl b" or key == "meta (" or key == "h":
723
# elif key == "ctrl f" or key == "meta )" or key == "l":
726
# pass # scroll up log
728
# pass # scroll down log
713
729
elif self.topwidget.selectable():
714
730
self.topwidget.keypress(self.size, key)
735
class UILogHandler(logging.Handler):
736
def __init__(self, ui, *args, **kwargs):
738
super(UILogHandler, self).__init__(*args, **kwargs)
740
logging.Formatter("%(asctime)s: %(message)s"))
741
def emit(self, record):
742
msg = self.format(record)
743
if record.levelno > logging.INFO:
745
self.ui.add_log_line(msg)
718
748
ui = UserInterface()
721
751
except KeyboardInterrupt:
724
ui.log_message(unicode(e))
752
with warnings.catch_warnings():
753
warnings.filterwarnings("ignore", "", BytesWarning)
756
with warnings.catch_warnings():
757
warnings.filterwarnings("ignore", "", BytesWarning)