1
#!/usr/bin/python3 -bbI
2
2
# -*- mode: python; coding: utf-8 -*-
4
4
# Mandos Monitor - Control and monitor the Mandos server
6
# Copyright © 2009-2019 Teddy Hogeborn
7
# Copyright © 2009-2019 Björn Påhlsson
9
# This file is part of Mandos.
11
# Mandos is free software: you can redistribute it and/or modify it
12
# under the terms of the GNU General Public License as published by
6
# Copyright © 2009-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
13
11
# the Free Software Foundation, either version 3 of the License, or
14
12
# (at your option) any later version.
16
# Mandos is distributed in the hope that it will be useful, but
17
# WITHOUT ANY WARRANTY; without even the implied warranty of
14
# This program is distributed in the hope that it will be useful,
15
# but WITHOUT ANY WARRANTY; without even the implied warranty of
18
16
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19
17
# GNU General Public License for more details.
21
19
# You should have received a copy of the GNU General Public License
22
# along with Mandos. If not, see <http://www.gnu.org/licenses/>.
20
# along with this program. If not, see
21
# <http://www.gnu.org/licenses/>.
24
23
# Contact the authors at <mandos@recompile.se>.
26
26
from __future__ import (division, absolute_import, print_function,
30
29
from future_builtins import *
31
30
except ImportError:
41
38
import urwid.curses_display
44
41
from dbus.mainloop.glib import DBusGMainLoop
45
from gi.repository import GLib
45
from gi.repository import GObject as gobject
49
if sys.version_info.major == 2:
51
if sys.version_info[0] == 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)
67
logging.getLogger("urwid").setLevel(logging.INFO)
54
locale.setlocale(locale.LC_ALL, '')
57
logging.getLogger('dbus.proxies').setLevel(logging.CRITICAL)
69
59
# Some useful constants
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"
60
domain = 'se.recompile'
61
server_interface = domain + '.Mandos'
62
client_interface = domain + '.Mandos.Client'
81
65
def isoformat_to_datetime(iso):
82
66
"Parse an ISO 8601 date string to a datetime.datetime()"
94
int(second), # Whole seconds
95
int(fraction*1000000)) # Microseconds
98
class MandosClientPropertyCache:
78
int(second), # Whole seconds
79
int(fraction*1000000)) # Microseconds
81
class MandosClientPropertyCache(object):
99
82
"""This wraps a Mandos Client D-Bus proxy object, caches the
100
83
properties and calls a hook function when any of them are
103
86
def __init__(self, proxy_object=None, properties=None, **kwargs):
104
self.proxy = proxy_object # Mandos Client proxy object
87
self.proxy = proxy_object # Mandos Client proxy object
105
88
self.properties = dict() if properties is None else properties
106
89
self.property_changed_match = (
107
self.proxy.connect_to_signal("PropertiesChanged",
108
self.properties_changed,
109
dbus.PROPERTIES_IFACE,
90
self.proxy.connect_to_signal("PropertyChanged",
91
self._property_changed,
110
93
byte_arrays=True))
112
95
if properties is None:
113
self.properties.update(self.proxy.GetAll(
115
dbus_interface=dbus.PROPERTIES_IFACE))
96
self.properties.update(
97
self.proxy.GetAll(client_interface,
99
= dbus.PROPERTIES_IFACE))
117
101
super(MandosClientPropertyCache, self).__init__(**kwargs)
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.
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.
123
111
# Update properties dict with new value
124
if interface == client_interface:
125
self.properties.update(properties)
112
self.properties[property] = value
127
114
def delete(self):
128
115
self.property_changed_match.remove()
173
162
client_interface,
174
163
byte_arrays=True))
175
log.debug("Created client %s", self.properties["Name"])
164
self.logger('Created client {0}'
165
.format(self.properties["Name"]), level=0)
177
167
def using_timer(self, flag):
178
168
"""Call this method with True or False when timer should be
179
169
activated or deactivated.
181
171
if flag and self._update_timer_callback_tag is None:
182
172
# Will update the shown timer value every second
183
self._update_timer_callback_tag = (
184
GLib.timeout_add(1000,
185
glib_safely(self.update_timer)))
173
self._update_timer_callback_tag = (gobject.timeout_add
186
176
elif not (flag or self._update_timer_callback_tag is None):
187
GLib.source_remove(self._update_timer_callback_tag)
177
gobject.source_remove(self._update_timer_callback_tag)
188
178
self._update_timer_callback_tag = None
190
180
def checker_completed(self, exitstatus, condition, command):
191
181
if exitstatus == 0:
192
log.debug('Checker for client %s (command "%s")'
193
" succeeded", self.properties["Name"], command)
182
self.logger('Checker for client {0} (command "{1}")'
183
' succeeded'.format(self.properties["Name"],
197
188
if os.WIFEXITED(condition):
198
log.info('Checker for client %s (command "%s") failed'
199
" with exit code %d", self.properties["Name"],
200
command, os.WEXITSTATUS(condition))
189
self.logger('Checker for client {0} (command "{1}")'
190
' failed with exit code {2}'
191
.format(self.properties["Name"], command,
192
os.WEXITSTATUS(condition)))
201
193
elif os.WIFSIGNALED(condition):
202
log.info('Checker for client %s (command "%s") was'
203
" killed by signal %d", self.properties["Name"],
204
command, os.WTERMSIG(condition))
194
self.logger('Checker for client {0} (command "{1}") was'
195
' killed by signal {2}'
196
.format(self.properties["Name"], command,
197
os.WTERMSIG(condition)))
198
elif os.WCOREDUMP(condition):
199
self.logger('Checker for client {0} (command "{1}")'
201
.format(self.properties["Name"], command))
203
self.logger('Checker for client {0} completed'
205
.format(self.properties["Name"]))
207
208
def checker_started(self, command):
208
209
"""Server signals that a checker started."""
209
log.debug('Client %s started checker "%s"',
210
self.properties["Name"], command)
210
self.logger('Client {0} started checker "{1}"'
211
.format(self.properties["Name"],
212
214
def got_secret(self):
213
log.info("Client %s received its secret",
214
self.properties["Name"])
215
self.logger('Client {0} received its secret'
216
.format(self.properties["Name"]))
216
218
def need_approval(self, timeout, default):
218
message = "Client %s needs approval within %f seconds"
220
message = 'Client {0} needs approval within {1} seconds'
220
message = "Client %s will get its secret in %f seconds"
221
log.info(message, self.properties["Name"], timeout/1000)
222
message = 'Client {0} will get its secret in {1} seconds'
223
self.logger(message.format(self.properties["Name"],
223
226
def rejected(self, reason):
224
log.info("Client %s was rejected; reason: %s",
225
self.properties["Name"], reason)
227
self.logger('Client {0} was rejected; reason: {1}'
228
.format(self.properties["Name"], reason))
227
230
def selectable(self):
228
231
"""Make this a "selectable" widget.
229
232
This overrides the method from urwid.FlowWidget."""
232
235
def rows(self, maxcolrow, focus=False):
233
236
"""How many rows this widget will occupy might depend on
234
237
whether we have focus or not.
235
238
This overrides the method from urwid.FlowWidget"""
236
239
return self.current_widget(focus).rows(maxcolrow, focus=focus)
238
241
def current_widget(self, focus=False):
239
242
if focus or self.opened:
240
243
return self._focus_widget
241
244
return self._widget
243
246
def update(self):
244
247
"Called when what is visible on the screen should be updated."
245
248
# How to add standout mode to a style
246
with_standout = {"normal": "standout",
247
"bold": "bold-standout",
249
"underline-blink-standout",
250
"bold-underline-blink":
251
"bold-underline-blink-standout",
249
with_standout = { "normal": "standout",
250
"bold": "bold-standout",
252
"underline-blink-standout",
253
"bold-underline-blink":
254
"bold-underline-blink-standout",
254
257
# Rebuild focus and non-focus widgets using current properties
256
259
# Base part of a client. Name!
257
base = "{name}: ".format(name=self.properties["Name"])
260
base = '{name}: '.format(name=self.properties["Name"])
258
261
if not self.properties["Enabled"]:
259
262
message = "DISABLED"
260
263
self.using_timer(False)
261
264
elif self.properties["ApprovalPending"]:
262
timeout = datetime.timedelta(
263
milliseconds=self.properties["ApprovalDelay"])
265
timeout = datetime.timedelta(milliseconds
264
268
last_approval_request = isoformat_to_datetime(
265
269
self.properties["LastApprovalRequest"])
266
270
if last_approval_request is not None:
327
330
if self.delete_hook is not None:
328
331
self.delete_hook(self)
329
332
return super(MandosClientWidget, self).delete(**kwargs)
331
334
def render(self, maxcolrow, focus=False):
332
335
"""Render differently if we have focus.
333
336
This overrides the method from urwid.FlowWidget"""
334
337
return self.current_widget(focus).render(maxcolrow,
337
340
def keypress(self, maxcolrow, key):
339
342
This overrides the method from urwid.FlowWidget"""
341
self.proxy.Set(client_interface, "Enabled",
342
dbus.Boolean(True), ignore_reply=True,
343
dbus_interface=dbus.PROPERTIES_IFACE)
344
self.proxy.Enable(dbus_interface = client_interface,
345
self.proxy.Set(client_interface, "Enabled", False,
347
dbus_interface=dbus.PROPERTIES_IFACE)
347
self.proxy.Disable(dbus_interface = client_interface,
349
350
self.proxy.Approve(dbus.Boolean(True, variant_level=1),
350
dbus_interface=client_interface,
351
dbus_interface = client_interface,
351
352
ignore_reply=True)
353
354
self.proxy.Approve(dbus.Boolean(False, variant_level=1),
354
dbus_interface=client_interface,
355
dbus_interface = client_interface,
355
356
ignore_reply=True)
356
357
elif key == "R" or key == "_" or key == "ctrl k":
357
358
self.server_proxy_object.RemoveClient(self.proxy
359
360
ignore_reply=True)
361
self.proxy.Set(client_interface, "CheckerRunning",
362
dbus.Boolean(True), ignore_reply=True,
363
dbus_interface=dbus.PROPERTIES_IFACE)
362
self.proxy.StartChecker(dbus_interface = client_interface,
365
self.proxy.Set(client_interface, "CheckerRunning",
366
dbus.Boolean(False), ignore_reply=True,
367
dbus_interface=dbus.PROPERTIES_IFACE)
365
self.proxy.StopChecker(dbus_interface = client_interface,
369
self.proxy.CheckedOK(dbus_interface=client_interface,
368
self.proxy.CheckedOK(dbus_interface = client_interface,
370
369
ignore_reply=True)
372
371
# elif key == "p" or key == "=":
381
def properties_changed(self, interface, properties, invalidated):
382
"""Call self.update() if any properties changed.
380
def property_changed(self, property=None, **kwargs):
381
"""Call self.update() if old value is not new value.
383
382
This overrides the method from MandosClientPropertyCache"""
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):
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:
393
def glib_safely(func, retval=True):
394
def safe_func(*args, **kwargs):
396
return func(*args, **kwargs)
403
391
class ConstrainedListBox(urwid.ListBox):
404
392
"""Like a normal urwid.ListBox, but will consume all "up" or
405
393
"down" key presses, thus not allowing any containing widgets to
406
394
use them as an excuse to shift focus away from this widget.
408
396
def keypress(self, *args, **kwargs):
409
ret = (super(ConstrainedListBox, self)
410
.keypress(*args, **kwargs))
397
ret = super(ConstrainedListBox, self).keypress(*args, **kwargs)
411
398
if ret in ("up", "down"):
403
class UserInterface(object):
417
404
"""This is the entire user interface - the whole screen
418
405
with boxes, lists of client widgets, etc.
420
def __init__(self, max_log_length=1000):
407
def __init__(self, max_log_length=1000, log_level=1):
421
408
DBusGMainLoop(set_as_default=True)
423
410
self.screen = urwid.curses_display.Screen()
425
412
self.screen.register_palette((
427
414
"default", "default", None),
443
429
"bold,underline,blink,standout", "default",
444
430
"bold,underline,blink,standout"),
447
433
if urwid.supports_unicode():
448
self.divider = "─" # \u2500
434
self.divider = "─" # \u2500
435
#self.divider = "━" # \u2501
450
self.divider = "_" # \u005f
437
#self.divider = "-" # \u002d
438
self.divider = "_" # \u005f
452
440
self.screen.start()
454
442
self.size = self.screen.get_cols_rows()
456
444
self.clients = urwid.SimpleListWalker([])
457
445
self.clients_dict = {}
459
447
# We will add Text widgets to this list
460
self.log = urwid.SimpleListWalker([])
461
449
self.max_log_length = max_log_length
451
self.log_level = log_level
463
453
# We keep a reference to the log widget so we can remove it
464
454
# from the ListWalker without it getting destroyed
465
455
self.logbox = ConstrainedListBox(self.log)
467
457
# This keeps track of whether self.uilist currently has
468
458
# self.logbox in it or not
469
459
self.log_visible = True
470
460
self.log_wrap = "any"
472
self.loghandler = UILogHandler(self)
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)
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))
486
476
def rebuild(self):
487
477
"""This rebuilds the User Interface.
488
478
Call this when the widget layout needs to change"""
490
# self.uilist.append(urwid.ListBox(self.clients))
480
#self.uilist.append(urwid.ListBox(self.clients))
491
481
self.uilist.append(urwid.Frame(ConstrainedListBox(self.
493
# header=urwid.Divider(),
483
#header=urwid.Divider(),
495
footer=urwid.Divider(
496
div_char=self.divider)))
486
urwid.Divider(div_char=
497
488
if self.log_visible:
498
489
self.uilist.append(self.logbox)
499
490
self.topwidget = urwid.Pile(self.uilist)
501
def add_log_line(self, markup):
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:
502
504
self.log.append(urwid.Text(markup, wrap=self.log_wrap))
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,
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),
507
509
coming_from="above")
510
512
def toggle_log_display(self):
511
513
"""Toggle visibility of the log buffer."""
512
514
self.log_visible = not self.log_visible
514
log.debug("Log visibility changed to: %s", self.log_visible)
516
self.log_message("Log visibility changed to: {0}"
517
.format(self.log_visible), level=0)
516
519
def change_log_display(self):
517
520
"""Change type of log display.
518
521
Currently, this toggles wrapping of text lines."""
522
525
self.log_wrap = "clip"
523
526
for textwidget in self.log:
524
527
textwidget.set_wrap_mode(self.log_wrap)
525
log.debug("Wrap mode: %s", self.log_wrap)
527
def find_and_remove_client(self, path, interfaces):
528
self.log_message("Wrap mode: {0}".format(self.log_wrap),
531
def find_and_remove_client(self, path, name):
528
532
"""Find a client by its object path and remove it.
530
This is connected to the InterfacesRemoved signal from the
534
This is connected to the ClientRemoved signal from the
531
535
Mandos server object."""
532
if client_interface not in interfaces:
533
# Not a Mandos client object; ignore
536
537
client = self.clients_dict[path]
539
log.warning("Unknown client %s removed", path)
540
self.log_message("Unknown client {0!r} ({1!r}) removed"
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
545
def add_new_client(self, path):
552
546
client_proxy_object = self.bus.get_object(self.busname, path)
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])),
547
self.add_client(MandosClientWidget(server_proxy_object
550
=client_proxy_object,
561
559
def add_client(self, client, path=None):
562
560
self.clients.append(client)
565
563
self.clients_dict[path] = client
566
564
self.clients.sort(key=lambda c: c.properties["Name"])
569
567
def remove_client(self, client, path=None):
570
568
self.clients.remove(client)
572
570
path = client.proxy.object_path
573
571
del self.clients_dict[path]
576
574
def refresh(self):
577
575
"""Redraw the screen"""
578
576
canvas = self.topwidget.render(self.size, focus=True)
579
577
self.screen.draw_screen(self.size, canvas)
582
580
"""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
588
581
self.bus = dbus.SystemBus()
589
582
mandos_dbus_objc = self.bus.get_object(
590
583
self.busname, "/", follow_name_owner_changes=True)
591
self.mandos_serv = dbus.Interface(
592
mandos_dbus_objc, dbus_interface=server_interface)
584
self.mandos_serv = dbus.Interface(mandos_dbus_objc,
594
588
mandos_clients = (self.mandos_serv
595
589
.GetAllClientsWithProperties())
596
590
if not mandos_clients:
597
log.warning("Note: Server has no clients.")
591
self.log_message_raw(("bold", "Note: Server has no clients."))
598
592
except dbus.exceptions.DBusException:
599
log.warning("Note: No Mandos server running.")
593
self.log_message_raw(("bold", "Note: No Mandos server running."))
600
594
mandos_clients = dbus.Dictionary()
602
596
(self.mandos_serv
603
.connect_to_signal("InterfacesRemoved",
597
.connect_to_signal("ClientRemoved",
604
598
self.find_and_remove_client,
605
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
599
dbus_interface=server_interface,
606
600
byte_arrays=True))
607
601
(self.mandos_serv
608
.connect_to_signal("InterfacesAdded",
602
.connect_to_signal("ClientAdded",
609
603
self.add_new_client,
610
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
604
dbus_interface=server_interface,
611
605
byte_arrays=True))
612
606
(self.mandos_serv
613
607
.connect_to_signal("ClientNotFound",
617
611
for path, client in mandos_clients.items():
618
612
client_proxy_object = self.bus.get_object(self.busname,
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),
614
self.add_client(MandosClientWidget(server_proxy_object
617
=client_proxy_object,
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)))
628
self._input_callback_tag = (gobject.io_add_watch
634
632
self.main_loop.run()
635
633
# Main loop has finished, we should close everything now
636
GLib.source_remove(self._input_callback_tag)
637
with warnings.catch_warnings():
638
warnings.simplefilter("ignore", BytesWarning)
634
gobject.source_remove(self._input_callback_tag)
642
638
self.main_loop.quit()
643
log.removeHandler(self.loghandler)
644
log.propagate = self.orig_log_propagate
646
640
def process_input(self, source, condition):
647
641
keys = self.screen.get_input()
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
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
660
654
key = translations[key]
661
655
except KeyError: # :-)
664
658
if key == "q" or key == "Q":
667
661
elif key == "window resize":
668
662
self.size = self.screen.get_cols_rows()
670
elif key == "ctrl l":
664
elif key == "\f": # Ctrl-L
673
666
elif key == "l" or key == "D":
674
667
self.toggle_log_display()
707
701
self.topwidget.set_focus(self.logbox)
710
if log.level < logging.INFO:
711
log.setLevel(logging.INFO)
712
log.info("Verbose mode: Off")
704
if self.log_level == 0:
706
self.log_message("Verbose mode: Off")
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
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
734
728
elif self.topwidget.selectable():
735
729
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)
753
733
ui = UserInterface()
756
736
except KeyboardInterrupt:
757
with warnings.catch_warnings():
758
warnings.filterwarnings("ignore", "", BytesWarning)
761
with warnings.catch_warnings():
762
warnings.filterwarnings("ignore", "", BytesWarning)
738
except Exception as e:
739
ui.log_message(str(e))