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