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-2014 Teddy Hogeborn
7
# Copyright © 2009-2014 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
30
from future_builtins import *
30
31
except ImportError:
38
41
import urwid.curses_display
41
44
from dbus.mainloop.glib import DBusGMainLoop
45
from gi.repository import GObject as gobject
45
from gi.repository import GLib
51
if sys.version_info[0] == 2:
49
if sys.version_info.major == 2:
54
locale.setlocale(locale.LC_ALL, '')
57
logging.getLogger('dbus.proxies').setLevel(logging.CRITICAL)
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)
67
logging.getLogger("urwid").setLevel(logging.INFO)
59
69
# Some useful constants
60
domain = 'se.recompile'
61
server_interface = domain + '.Mandos'
62
client_interface = domain + '.Mandos.Client'
70
domain = "se.recompile"
71
server_interface = domain + ".Mandos"
72
client_interface = domain + ".Mandos.Client"
76
dbus.OBJECT_MANAGER_IFACE
77
except AttributeError:
78
dbus.OBJECT_MANAGER_IFACE = "org.freedesktop.DBus.ObjectManager"
65
81
def isoformat_to_datetime(iso):
66
82
"Parse an ISO 8601 date string to a datetime.datetime()"
78
int(second), # Whole seconds
79
int(fraction*1000000)) # Microseconds
81
class MandosClientPropertyCache(object):
94
int(second), # Whole seconds
95
int(fraction*1000000)) # Microseconds
98
class MandosClientPropertyCache:
82
99
"""This wraps a Mandos Client D-Bus proxy object, caches the
83
100
properties and calls a hook function when any of them are
86
103
def __init__(self, proxy_object=None, properties=None, **kwargs):
87
self.proxy = proxy_object # Mandos Client proxy object
104
self.proxy = proxy_object # Mandos Client proxy object
88
105
self.properties = dict() if properties is None else properties
89
106
self.property_changed_match = (
90
self.proxy.connect_to_signal("PropertyChanged",
91
self._property_changed,
107
self.proxy.connect_to_signal("PropertiesChanged",
108
self.properties_changed,
109
dbus.PROPERTIES_IFACE,
93
110
byte_arrays=True))
95
112
if properties is None:
96
self.properties.update(
97
self.proxy.GetAll(client_interface,
99
= dbus.PROPERTIES_IFACE))
113
self.properties.update(self.proxy.GetAll(
115
dbus_interface=dbus.PROPERTIES_IFACE))
101
117
super(MandosClientPropertyCache, self).__init__(**kwargs)
103
def _property_changed(self, property, value):
104
"""Helper which takes positional arguments"""
105
return self.property_changed(property=property, value=value)
107
def property_changed(self, property=None, value=None):
108
"""This is called whenever we get a PropertyChanged signal
109
It updates the changed property in the "properties" dict.
119
def properties_changed(self, interface, properties, invalidated):
120
"""This is called whenever we get a PropertiesChanged signal
121
It updates the changed properties in the "properties" dict.
111
123
# Update properties dict with new value
112
self.properties[property] = value
124
if interface == client_interface:
125
self.properties.update(properties)
114
127
def delete(self):
115
128
self.property_changed_match.remove()
162
173
client_interface,
163
174
byte_arrays=True))
164
self.logger('Created client {0}'
165
.format(self.properties["Name"]), level=0)
175
log.debug("Created client %s", self.properties["Name"])
167
177
def using_timer(self, flag):
168
178
"""Call this method with True or False when timer should be
169
179
activated or deactivated.
171
181
if flag and self._update_timer_callback_tag is None:
172
182
# Will update the shown timer value every second
173
self._update_timer_callback_tag = (gobject.timeout_add
183
self._update_timer_callback_tag = (
184
GLib.timeout_add(1000,
185
glib_safely(self.update_timer)))
176
186
elif not (flag or self._update_timer_callback_tag is None):
177
gobject.source_remove(self._update_timer_callback_tag)
187
GLib.source_remove(self._update_timer_callback_tag)
178
188
self._update_timer_callback_tag = None
180
190
def checker_completed(self, exitstatus, condition, command):
181
191
if exitstatus == 0:
182
self.logger('Checker for client {0} (command "{1}")'
183
' succeeded'.format(self.properties["Name"],
192
log.debug('Checker for client %s (command "%s")'
193
" succeeded", self.properties["Name"], command)
188
197
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)))
198
log.info('Checker for client %s (command "%s") failed'
199
" with exit code %d", self.properties["Name"],
200
command, os.WEXITSTATUS(condition))
193
201
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"]))
202
log.info('Checker for client %s (command "%s") was'
203
" killed by signal %d", self.properties["Name"],
204
command, os.WTERMSIG(condition))
208
207
def checker_started(self, command):
209
208
"""Server signals that a checker started."""
210
self.logger('Client {0} started checker "{1}"'
211
.format(self.properties["Name"],
209
log.debug('Client %s started checker "%s"',
210
self.properties["Name"], command)
214
212
def got_secret(self):
215
self.logger('Client {0} received its secret'
216
.format(self.properties["Name"]))
213
log.info("Client %s received its secret",
214
self.properties["Name"])
218
216
def need_approval(self, timeout, default):
220
message = 'Client {0} needs approval within {1} seconds'
218
message = "Client %s needs approval within %f seconds"
222
message = 'Client {0} will get its secret in {1} seconds'
223
self.logger(message.format(self.properties["Name"],
220
message = "Client %s will get its secret in %f seconds"
221
log.info(message, self.properties["Name"], timeout/1000)
226
223
def rejected(self, reason):
227
self.logger('Client {0} was rejected; reason: {1}'
228
.format(self.properties["Name"], reason))
224
log.info("Client %s was rejected; reason: %s",
225
self.properties["Name"], reason)
230
227
def selectable(self):
231
228
"""Make this a "selectable" widget.
232
229
This overrides the method from urwid.FlowWidget."""
235
232
def rows(self, maxcolrow, focus=False):
236
233
"""How many rows this widget will occupy might depend on
237
234
whether we have focus or not.
238
235
This overrides the method from urwid.FlowWidget"""
239
236
return self.current_widget(focus).rows(maxcolrow, focus=focus)
241
238
def current_widget(self, focus=False):
242
239
if focus or self.opened:
243
240
return self._focus_widget
244
241
return self._widget
246
243
def update(self):
247
244
"Called when what is visible on the screen should be updated."
248
245
# How to add standout mode to a style
249
with_standout = { "normal": "standout",
250
"bold": "bold-standout",
252
"underline-blink-standout",
253
"bold-underline-blink":
254
"bold-underline-blink-standout",
246
with_standout = {"normal": "standout",
247
"bold": "bold-standout",
249
"underline-blink-standout",
250
"bold-underline-blink":
251
"bold-underline-blink-standout",
257
254
# Rebuild focus and non-focus widgets using current properties
259
256
# Base part of a client. Name!
260
base = '{name}: '.format(name=self.properties["Name"])
257
base = "{name}: ".format(name=self.properties["Name"])
261
258
if not self.properties["Enabled"]:
262
259
message = "DISABLED"
263
260
self.using_timer(False)
264
261
elif self.properties["ApprovalPending"]:
265
timeout = datetime.timedelta(milliseconds
262
timeout = datetime.timedelta(
263
milliseconds=self.properties["ApprovalDelay"])
268
264
last_approval_request = isoformat_to_datetime(
269
265
self.properties["LastApprovalRequest"])
270
266
if last_approval_request is not None:
330
327
if self.delete_hook is not None:
331
328
self.delete_hook(self)
332
329
return super(MandosClientWidget, self).delete(**kwargs)
334
331
def render(self, maxcolrow, focus=False):
335
332
"""Render differently if we have focus.
336
333
This overrides the method from urwid.FlowWidget"""
337
334
return self.current_widget(focus).render(maxcolrow,
340
337
def keypress(self, maxcolrow, key):
342
339
This overrides the method from urwid.FlowWidget"""
344
self.proxy.Enable(dbus_interface = client_interface,
341
self.proxy.Set(client_interface, "Enabled",
342
dbus.Boolean(True), ignore_reply=True,
343
dbus_interface=dbus.PROPERTIES_IFACE)
347
self.proxy.Disable(dbus_interface = client_interface,
345
self.proxy.Set(client_interface, "Enabled", False,
347
dbus_interface=dbus.PROPERTIES_IFACE)
350
349
self.proxy.Approve(dbus.Boolean(True, variant_level=1),
351
dbus_interface = client_interface,
350
dbus_interface=client_interface,
352
351
ignore_reply=True)
354
353
self.proxy.Approve(dbus.Boolean(False, variant_level=1),
355
dbus_interface = client_interface,
354
dbus_interface=client_interface,
356
355
ignore_reply=True)
357
356
elif key == "R" or key == "_" or key == "ctrl k":
358
357
self.server_proxy_object.RemoveClient(self.proxy
360
359
ignore_reply=True)
362
self.proxy.StartChecker(dbus_interface = client_interface,
361
self.proxy.Set(client_interface, "CheckerRunning",
362
dbus.Boolean(True), ignore_reply=True,
363
dbus_interface=dbus.PROPERTIES_IFACE)
365
self.proxy.StopChecker(dbus_interface = client_interface,
365
self.proxy.Set(client_interface, "CheckerRunning",
366
dbus.Boolean(False), ignore_reply=True,
367
dbus_interface=dbus.PROPERTIES_IFACE)
368
self.proxy.CheckedOK(dbus_interface = client_interface,
369
self.proxy.CheckedOK(dbus_interface=client_interface,
369
370
ignore_reply=True)
371
372
# elif key == "p" or key == "=":
380
def property_changed(self, property=None, **kwargs):
381
"""Call self.update() if old value is not new value.
381
def properties_changed(self, interface, properties, invalidated):
382
"""Call self.update() if any properties changed.
382
383
This overrides the method from MandosClientPropertyCache"""
383
property_name = str(property)
384
old_value = self.properties.get(property_name)
385
super(MandosClientWidget, self).property_changed(
386
property=property, **kwargs)
387
if self.properties.get(property_name) != old_value:
384
old_values = {key: self.properties.get(key)
385
for key in properties.keys()}
386
super(MandosClientWidget, self).properties_changed(
387
interface, properties, invalidated)
388
if any(old_values[key] != self.properties.get(key)
389
for key in old_values):
393
def glib_safely(func, retval=True):
394
def safe_func(*args, **kwargs):
396
return func(*args, **kwargs)
391
403
class ConstrainedListBox(urwid.ListBox):
392
404
"""Like a normal urwid.ListBox, but will consume all "up" or
393
405
"down" key presses, thus not allowing any containing widgets to
394
406
use them as an excuse to shift focus away from this widget.
396
408
def keypress(self, *args, **kwargs):
397
ret = super(ConstrainedListBox, self).keypress(*args, **kwargs)
409
ret = (super(ConstrainedListBox, self)
410
.keypress(*args, **kwargs))
398
411
if ret in ("up", "down"):
403
class UserInterface(object):
404
417
"""This is the entire user interface - the whole screen
405
418
with boxes, lists of client widgets, etc.
407
def __init__(self, max_log_length=1000, log_level=1):
420
def __init__(self, max_log_length=1000):
408
421
DBusGMainLoop(set_as_default=True)
410
423
self.screen = urwid.curses_display.Screen()
412
425
self.screen.register_palette((
414
427
"default", "default", None),
429
443
"bold,underline,blink,standout", "default",
430
444
"bold,underline,blink,standout"),
433
447
if urwid.supports_unicode():
434
self.divider = "─" # \u2500
435
#self.divider = "━" # \u2501
448
self.divider = "─" # \u2500
437
#self.divider = "-" # \u002d
438
self.divider = "_" # \u005f
450
self.divider = "_" # \u005f
440
452
self.screen.start()
442
454
self.size = self.screen.get_cols_rows()
444
456
self.clients = urwid.SimpleListWalker([])
445
457
self.clients_dict = {}
447
459
# We will add Text widgets to this list
460
self.log = urwid.SimpleListWalker([])
449
461
self.max_log_length = max_log_length
451
self.log_level = log_level
453
463
# We keep a reference to the log widget so we can remove it
454
464
# from the ListWalker without it getting destroyed
455
465
self.logbox = ConstrainedListBox(self.log)
457
467
# This keeps track of whether self.uilist currently has
458
468
# self.logbox in it or not
459
469
self.log_visible = True
460
470
self.log_wrap = "any"
472
self.loghandler = UILogHandler(self)
463
self.log_message_raw(("bold",
464
"Mandos Monitor version " + version))
465
self.log_message_raw(("bold",
468
self.busname = domain + '.Mandos'
469
self.main_loop = gobject.MainLoop()
471
def client_not_found(self, fingerprint, address):
472
self.log_message("Client with address {0} and fingerprint"
473
" {1} could not be found"
474
.format(address, fingerprint))
475
self.add_log_line(("bold",
476
"Mandos Monitor version " + version))
477
self.add_log_line(("bold", "q: Quit ?: Help"))
479
self.busname = domain + ".Mandos"
480
self.main_loop = GLib.MainLoop()
482
def client_not_found(self, key_id, address):
483
log.info("Client with address %s and key ID %s could"
484
" not be found", address, key_id)
476
486
def rebuild(self):
477
487
"""This rebuilds the User Interface.
478
488
Call this when the widget layout needs to change"""
480
#self.uilist.append(urwid.ListBox(self.clients))
490
# self.uilist.append(urwid.ListBox(self.clients))
481
491
self.uilist.append(urwid.Frame(ConstrainedListBox(self.
483
#header=urwid.Divider(),
493
# header=urwid.Divider(),
486
urwid.Divider(div_char=
495
footer=urwid.Divider(
496
div_char=self.divider)))
488
497
if self.log_visible:
489
498
self.uilist.append(self.logbox)
490
499
self.topwidget = urwid.Pile(self.uilist)
492
def log_message(self, message, level=1):
493
"""Log message formatted with timestamp"""
494
if level < self.log_level:
496
timestamp = datetime.datetime.now().isoformat()
497
self.log_message_raw("{0}: {1}".format(timestamp, message),
500
def log_message_raw(self, markup, level=1):
501
"""Add a log message to the log buffer."""
502
if level < self.log_level:
501
def add_log_line(self, markup):
504
502
self.log.append(urwid.Text(markup, wrap=self.log_wrap))
505
if (self.max_log_length
506
and len(self.log) > self.max_log_length):
507
del self.log[0:len(self.log)-self.max_log_length-1]
508
self.logbox.set_focus(len(self.logbox.body.contents),
503
if self.max_log_length:
504
if len(self.log) > self.max_log_length:
505
del self.log[0:(len(self.log) - self.max_log_length)]
506
self.logbox.set_focus(len(self.logbox.body.contents)-1,
509
507
coming_from="above")
512
510
def toggle_log_display(self):
513
511
"""Toggle visibility of the log buffer."""
514
512
self.log_visible = not self.log_visible
516
self.log_message("Log visibility changed to: {0}"
517
.format(self.log_visible), level=0)
514
log.debug("Log visibility changed to: %s", self.log_visible)
519
516
def change_log_display(self):
520
517
"""Change type of log display.
521
518
Currently, this toggles wrapping of text lines."""
525
522
self.log_wrap = "clip"
526
523
for textwidget in self.log:
527
524
textwidget.set_wrap_mode(self.log_wrap)
528
self.log_message("Wrap mode: {0}".format(self.log_wrap),
531
def find_and_remove_client(self, path, name):
525
log.debug("Wrap mode: %s", self.log_wrap)
527
def find_and_remove_client(self, path, interfaces):
532
528
"""Find a client by its object path and remove it.
534
This is connected to the ClientRemoved signal from the
530
This is connected to the InterfacesRemoved signal from the
535
531
Mandos server object."""
532
if client_interface not in interfaces:
533
# Not a Mandos client object; ignore
537
536
client = self.clients_dict[path]
540
self.log_message("Unknown client {0!r} ({1!r}) removed"
539
log.warning("Unknown client %s removed", path)
545
def add_new_client(self, path):
543
def add_new_client(self, path, ifs_and_props):
544
"""Find a client by its object path and remove it.
546
This is connected to the InterfacesAdded signal from the
547
Mandos server object.
549
if client_interface not in ifs_and_props:
550
# Not a Mandos client object; ignore
546
552
client_proxy_object = self.bus.get_object(self.busname, path)
547
self.add_client(MandosClientWidget(server_proxy_object
550
=client_proxy_object,
553
self.add_client(MandosClientWidget(
554
server_proxy_object=self.mandos_serv,
555
proxy_object=client_proxy_object,
556
update_hook=self.refresh,
557
delete_hook=self.remove_client,
558
properties=dict(ifs_and_props[client_interface])),
559
561
def add_client(self, client, path=None):
560
562
self.clients.append(client)
563
565
self.clients_dict[path] = client
564
566
self.clients.sort(key=lambda c: c.properties["Name"])
567
569
def remove_client(self, client, path=None):
568
570
self.clients.remove(client)
570
572
path = client.proxy.object_path
571
573
del self.clients_dict[path]
574
576
def refresh(self):
575
577
"""Redraw the screen"""
576
578
canvas = self.topwidget.render(self.size, focus=True)
577
579
self.screen.draw_screen(self.size, canvas)
580
582
"""Start the main loop and exit when it's done."""
583
log.addHandler(self.loghandler)
584
self.orig_log_propagate = log.propagate
585
log.propagate = False
586
self.orig_log_level = log.level
581
588
self.bus = dbus.SystemBus()
582
589
mandos_dbus_objc = self.bus.get_object(
583
590
self.busname, "/", follow_name_owner_changes=True)
584
self.mandos_serv = dbus.Interface(mandos_dbus_objc,
591
self.mandos_serv = dbus.Interface(
592
mandos_dbus_objc, dbus_interface=server_interface)
588
594
mandos_clients = (self.mandos_serv
589
595
.GetAllClientsWithProperties())
590
596
if not mandos_clients:
591
self.log_message_raw(("bold", "Note: Server has no clients."))
597
log.warning("Note: Server has no clients.")
592
598
except dbus.exceptions.DBusException:
593
self.log_message_raw(("bold", "Note: No Mandos server running."))
599
log.warning("Note: No Mandos server running.")
594
600
mandos_clients = dbus.Dictionary()
596
602
(self.mandos_serv
597
.connect_to_signal("ClientRemoved",
603
.connect_to_signal("InterfacesRemoved",
598
604
self.find_and_remove_client,
599
dbus_interface=server_interface,
605
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
600
606
byte_arrays=True))
601
607
(self.mandos_serv
602
.connect_to_signal("ClientAdded",
608
.connect_to_signal("InterfacesAdded",
603
609
self.add_new_client,
604
dbus_interface=server_interface,
610
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
605
611
byte_arrays=True))
606
612
(self.mandos_serv
607
613
.connect_to_signal("ClientNotFound",
611
617
for path, client in mandos_clients.items():
612
618
client_proxy_object = self.bus.get_object(self.busname,
614
self.add_client(MandosClientWidget(server_proxy_object
617
=client_proxy_object,
620
self.add_client(MandosClientWidget(
621
server_proxy_object=self.mandos_serv,
622
proxy_object=client_proxy_object,
624
update_hook=self.refresh,
625
delete_hook=self.remove_client),
628
self._input_callback_tag = (gobject.io_add_watch
629
self._input_callback_tag = (
631
GLib.IOChannel.unix_new(sys.stdin.fileno()),
632
GLib.PRIORITY_DEFAULT, GLib.IO_IN,
633
glib_safely(self.process_input)))
632
634
self.main_loop.run()
633
635
# Main loop has finished, we should close everything now
634
gobject.source_remove(self._input_callback_tag)
636
GLib.source_remove(self._input_callback_tag)
637
with warnings.catch_warnings():
638
warnings.simplefilter("ignore", BytesWarning)
638
642
self.main_loop.quit()
643
log.removeHandler(self.loghandler)
644
log.propagate = self.orig_log_propagate
640
646
def process_input(self, source, condition):
641
647
keys = self.screen.get_input()
642
translations = { "ctrl n": "down", # Emacs
643
"ctrl p": "up", # Emacs
644
"ctrl v": "page down", # Emacs
645
"meta v": "page up", # Emacs
646
" ": "page down", # less
647
"f": "page down", # less
648
"b": "page up", # less
648
translations = {"ctrl n": "down", # Emacs
649
"ctrl p": "up", # Emacs
650
"ctrl v": "page down", # Emacs
651
"meta v": "page up", # Emacs
652
" ": "page down", # less
653
"f": "page down", # less
654
"b": "page up", # less
654
660
key = translations[key]
655
661
except KeyError: # :-)
658
664
if key == "q" or key == "Q":
661
667
elif key == "window resize":
662
668
self.size = self.screen.get_cols_rows()
664
elif key == "\f": # Ctrl-L
670
elif key == "ctrl l":
666
673
elif key == "l" or key == "D":
667
674
self.toggle_log_display()
701
707
self.topwidget.set_focus(self.logbox)
704
if self.log_level == 0:
706
self.log_message("Verbose mode: Off")
710
if log.level < logging.INFO:
711
log.setLevel(logging.INFO)
712
log.info("Verbose mode: Off")
709
self.log_message("Verbose mode: On")
710
#elif (key == "end" or key == "meta >" or key == "G"
712
# pass # xxx end-of-buffer
713
#elif (key == "home" or key == "meta <" or key == "g"
715
# pass # xxx beginning-of-buffer
716
#elif key == "ctrl e" or key == "$":
717
# pass # xxx move-end-of-line
718
#elif key == "ctrl a" or key == "^":
719
# pass # xxx move-beginning-of-line
720
#elif key == "ctrl b" or key == "meta (" or key == "h":
722
#elif key == "ctrl f" or key == "meta )" or key == "l":
725
# pass # scroll up log
727
# pass # scroll down log
714
log.setLevel(logging.NOTSET)
715
log.info("Verbose mode: On")
716
# elif (key == "end" or key == "meta >" or key == "G"
718
# pass # xxx end-of-buffer
719
# elif (key == "home" or key == "meta <" or key == "g"
721
# pass # xxx beginning-of-buffer
722
# elif key == "ctrl e" or key == "$":
723
# pass # xxx move-end-of-line
724
# elif key == "ctrl a" or key == "^":
725
# pass # xxx move-beginning-of-line
726
# elif key == "ctrl b" or key == "meta (" or key == "h":
728
# elif key == "ctrl f" or key == "meta )" or key == "l":
731
# pass # scroll up log
733
# pass # scroll down log
728
734
elif self.topwidget.selectable():
729
735
self.topwidget.keypress(self.size, key)
740
class UILogHandler(logging.Handler):
741
def __init__(self, ui, *args, **kwargs):
743
super(UILogHandler, self).__init__(*args, **kwargs)
745
logging.Formatter("%(asctime)s: %(message)s"))
746
def emit(self, record):
747
msg = self.format(record)
748
if record.levelno > logging.INFO:
750
self.ui.add_log_line(msg)
733
753
ui = UserInterface()
736
756
except KeyboardInterrupt:
738
except Exception as e:
739
ui.log_message(str(e))
757
with warnings.catch_warnings():
758
warnings.filterwarnings("ignore", "", BytesWarning)
761
with warnings.catch_warnings():
762
warnings.filterwarnings("ignore", "", BytesWarning)