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()
131
class MandosClientWidget(MandosClientPropertyCache, urwid.Widget):
118
class MandosClientWidget(urwid.FlowWidget, MandosClientPropertyCache):
132
119
"""A Mandos Client which is visible on the screen.
135
_sizing = frozenset(["flow"])
137
122
def __init__(self, server_proxy_object=None, update_hook=None,
138
delete_hook=None, **kwargs):
123
delete_hook=None, logger=None, **kwargs):
139
124
# Called on update
140
125
self.update_hook = update_hook
141
126
# Called on delete
142
127
self.delete_hook = delete_hook
143
128
# Mandos Server proxy object
144
129
self.server_proxy_object = server_proxy_object
146
133
self._update_timer_callback_tag = None
148
135
# The widget shown normally
149
136
self._text_widget = urwid.Text("")
150
137
# The widget shown when we have focus
175
162
client_interface,
176
163
byte_arrays=True))
177
log.debug("Created client %s", self.properties["Name"])
164
#self.logger('Created client {0}'
165
# .format(self.properties["Name"]))
179
167
def using_timer(self, flag):
180
168
"""Call this method with True or False when timer should be
181
169
activated or deactivated.
183
171
if flag and self._update_timer_callback_tag is None:
184
172
# 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)))
173
self._update_timer_callback_tag = (gobject.timeout_add
188
176
elif not (flag or self._update_timer_callback_tag is None):
189
GLib.source_remove(self._update_timer_callback_tag)
177
gobject.source_remove(self._update_timer_callback_tag)
190
178
self._update_timer_callback_tag = None
192
180
def checker_completed(self, exitstatus, condition, command):
193
181
if exitstatus == 0:
194
log.debug('Checker for client %s (command "%s")'
195
" succeeded", self.properties["Name"], command)
199
185
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))
186
self.logger('Checker for client {0} (command "{1}")'
187
' failed with exit code {2}'
188
.format(self.properties["Name"], command,
189
os.WEXITSTATUS(condition)))
203
190
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))
191
self.logger('Checker for client {0} (command "{1}") was'
192
' killed by signal {2}'
193
.format(self.properties["Name"], command,
194
os.WTERMSIG(condition)))
195
elif os.WCOREDUMP(condition):
196
self.logger('Checker for client {0} (command "{1}")'
198
.format(self.properties["Name"], command))
200
self.logger('Checker for client {0} completed'
202
.format(self.properties["Name"]))
209
205
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)
206
"""Server signals that a checker started. This could be useful
207
to log in the future. """
208
#self.logger('Client {0} started checker "{1}"'
209
# .format(self.properties["Name"],
214
213
def got_secret(self):
215
log.info("Client %s received its secret",
216
self.properties["Name"])
214
self.logger('Client {0} received its secret'
215
.format(self.properties["Name"]))
218
217
def need_approval(self, timeout, default):
220
message = "Client %s needs approval within %f seconds"
219
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)
221
message = 'Client {0} will get its secret in {1} seconds'
222
self.logger(message.format(self.properties["Name"],
225
225
def rejected(self, reason):
226
log.info("Client %s was rejected; reason: %s",
227
self.properties["Name"], reason)
226
self.logger('Client {0} was rejected; reason: {1}'
227
.format(self.properties["Name"], reason))
229
229
def selectable(self):
230
230
"""Make this a "selectable" widget.
231
This overrides the method from urwid.Widget."""
231
This overrides the method from urwid.FlowWidget."""
234
234
def rows(self, maxcolrow, focus=False):
235
235
"""How many rows this widget will occupy might depend on
236
236
whether we have focus or not.
237
This overrides the method from urwid.Widget"""
237
This overrides the method from urwid.FlowWidget"""
238
238
return self.current_widget(focus).rows(maxcolrow, focus=focus)
240
240
def current_widget(self, focus=False):
241
241
if focus or self.opened:
242
242
return self._focus_widget
243
243
return self._widget
245
245
def update(self):
246
246
"Called when what is visible on the screen should be updated."
247
247
# 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",
248
with_standout = { "normal": "standout",
249
"bold": "bold-standout",
251
"underline-blink-standout",
252
"bold-underline-blink":
253
"bold-underline-blink-standout",
256
256
# Rebuild focus and non-focus widgets using current properties
258
258
# Base part of a client. Name!
259
base = "{name}: ".format(name=self.properties["Name"])
259
base = '{name}: '.format(name=self.properties["Name"])
260
260
if not self.properties["Enabled"]:
261
261
message = "DISABLED"
262
262
self.using_timer(False)
263
263
elif self.properties["ApprovalPending"]:
264
timeout = datetime.timedelta(
265
milliseconds=self.properties["ApprovalDelay"])
264
timeout = datetime.timedelta(milliseconds
266
267
last_approval_request = isoformat_to_datetime(
267
268
self.properties["LastApprovalRequest"])
268
269
if last_approval_request is not None:
329
329
if self.delete_hook is not None:
330
330
self.delete_hook(self)
331
331
return super(MandosClientWidget, self).delete(**kwargs)
333
333
def render(self, maxcolrow, focus=False):
334
334
"""Render differently if we have focus.
335
This overrides the method from urwid.Widget"""
335
This overrides the method from urwid.FlowWidget"""
336
336
return self.current_widget(focus).render(maxcolrow,
339
339
def keypress(self, maxcolrow, key):
341
This overrides the method from urwid.Widget"""
341
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)
343
self.proxy.Enable(dbus_interface = client_interface,
347
self.proxy.Set(client_interface, "Enabled", False,
349
dbus_interface=dbus.PROPERTIES_IFACE)
346
self.proxy.Disable(dbus_interface = client_interface,
351
349
self.proxy.Approve(dbus.Boolean(True, variant_level=1),
352
dbus_interface=client_interface,
350
dbus_interface = client_interface,
353
351
ignore_reply=True)
355
353
self.proxy.Approve(dbus.Boolean(False, variant_level=1),
356
dbus_interface=client_interface,
354
dbus_interface = client_interface,
357
355
ignore_reply=True)
358
356
elif key == "R" or key == "_" or key == "ctrl k":
359
357
self.server_proxy_object.RemoveClient(self.proxy
361
359
ignore_reply=True)
363
self.proxy.Set(client_interface, "CheckerRunning",
364
dbus.Boolean(True), ignore_reply=True,
365
dbus_interface=dbus.PROPERTIES_IFACE)
361
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)
364
self.proxy.StopChecker(dbus_interface = client_interface,
371
self.proxy.CheckedOK(dbus_interface=client_interface,
367
self.proxy.CheckedOK(dbus_interface = client_interface,
372
368
ignore_reply=True)
374
370
# elif key == "p" or key == "=":
383
def properties_changed(self, interface, properties, invalidated):
384
"""Call self.update() if any properties changed.
379
def property_changed(self, property=None, **kwargs):
380
"""Call self.update() if old value is not new value.
385
381
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):
382
property_name = str(property)
383
old_value = self.properties.get(property_name)
384
super(MandosClientWidget, self).property_changed(
385
property=property, **kwargs)
386
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
390
class ConstrainedListBox(urwid.ListBox):
406
391
"""Like a normal urwid.ListBox, but will consume all "up" or
407
392
"down" key presses, thus not allowing any containing widgets to
408
393
use them as an excuse to shift focus away from this widget.
410
395
def keypress(self, *args, **kwargs):
411
ret = (super(ConstrainedListBox, self)
412
.keypress(*args, **kwargs))
396
ret = super(ConstrainedListBox, self).keypress(*args, **kwargs)
413
397
if ret in ("up", "down"):
402
class UserInterface(object):
419
403
"""This is the entire user interface - the whole screen
420
404
with boxes, lists of client widgets, etc.
422
406
def __init__(self, max_log_length=1000):
423
407
DBusGMainLoop(set_as_default=True)
425
409
self.screen = urwid.curses_display.Screen()
427
411
self.screen.register_palette((
429
413
"default", "default", None),
445
428
"bold,underline,blink,standout", "default",
446
429
"bold,underline,blink,standout"),
449
432
if urwid.supports_unicode():
450
self.divider = "─" # \u2500
433
self.divider = "─" # \u2500
434
#self.divider = "━" # \u2501
452
self.divider = "_" # \u005f
436
#self.divider = "-" # \u002d
437
self.divider = "_" # \u005f
454
439
self.screen.start()
456
441
self.size = self.screen.get_cols_rows()
458
443
self.clients = urwid.SimpleListWalker([])
459
444
self.clients_dict = {}
461
446
# We will add Text widgets to this list
462
self.log = urwid.SimpleListWalker([])
463
448
self.max_log_length = max_log_length
465
450
# We keep a reference to the log widget so we can remove it
466
451
# from the ListWalker without it getting destroyed
467
452
self.logbox = ConstrainedListBox(self.log)
469
454
# This keeps track of whether self.uilist currently has
470
455
# self.logbox in it or not
471
456
self.log_visible = True
472
457
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)
460
self.log_message_raw(("bold",
461
"Mandos Monitor version " + version))
462
self.log_message_raw(("bold",
465
self.busname = domain + '.Mandos'
466
self.main_loop = gobject.MainLoop()
468
def client_not_found(self, fingerprint, address):
469
self.log_message("Client with address {0} and fingerprint"
470
" {1} could not be found"
471
.format(address, fingerprint))
488
473
def rebuild(self):
489
474
"""This rebuilds the User Interface.
490
475
Call this when the widget layout needs to change"""
492
# self.uilist.append(urwid.ListBox(self.clients))
477
#self.uilist.append(urwid.ListBox(self.clients))
493
478
self.uilist.append(urwid.Frame(ConstrainedListBox(self.
495
# header=urwid.Divider(),
480
#header=urwid.Divider(),
497
footer=urwid.Divider(
498
div_char=self.divider)))
483
urwid.Divider(div_char=
499
485
if self.log_visible:
500
486
self.uilist.append(self.logbox)
501
487
self.topwidget = urwid.Pile(self.uilist)
503
def add_log_line(self, markup):
489
def log_message(self, message):
490
"""Log message formatted with timestamp"""
491
timestamp = datetime.datetime.now().isoformat()
492
self.log_message_raw(timestamp + ": " + message)
494
def log_message_raw(self, markup):
495
"""Add a log message to the log buffer."""
504
496
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,
497
if (self.max_log_length
498
and len(self.log) > self.max_log_length):
499
del self.log[0:len(self.log)-self.max_log_length-1]
500
self.logbox.set_focus(len(self.logbox.body.contents),
509
501
coming_from="above")
512
504
def toggle_log_display(self):
513
505
"""Toggle visibility of the log buffer."""
514
506
self.log_visible = not self.log_visible
516
log.debug("Log visibility changed to: %s", self.log_visible)
508
#self.log_message("Log visibility changed to: "
509
# + str(self.log_visible))
518
511
def change_log_display(self):
519
512
"""Change type of log display.
520
513
Currently, this toggles wrapping of text lines."""
524
517
self.log_wrap = "clip"
525
518
for textwidget in self.log:
526
519
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):
520
#self.log_message("Wrap mode: " + self.log_wrap)
522
def find_and_remove_client(self, path, name):
530
523
"""Find a client by its object path and remove it.
532
This is connected to the InterfacesRemoved signal from the
525
This is connected to the ClientRemoved signal from the
533
526
Mandos server object."""
534
if client_interface not in interfaces:
535
# Not a Mandos client object; ignore
538
528
client = self.clients_dict[path]
541
log.warning("Unknown client %s removed", path)
531
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
536
def add_new_client(self, path):
554
537
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])),
538
self.add_client(MandosClientWidget(server_proxy_object
541
=client_proxy_object,
563
550
def add_client(self, client, path=None):
564
551
self.clients.append(client)
567
554
self.clients_dict[path] = client
568
555
self.clients.sort(key=lambda c: c.properties["Name"])
571
558
def remove_client(self, client, path=None):
572
559
self.clients.remove(client)
574
561
path = client.proxy.object_path
575
562
del self.clients_dict[path]
578
565
def refresh(self):
579
566
"""Redraw the screen"""
580
567
canvas = self.topwidget.render(self.size, focus=True)
581
568
self.screen.draw_screen(self.size, canvas)
584
571
"""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
572
self.bus = dbus.SystemBus()
591
573
mandos_dbus_objc = self.bus.get_object(
592
574
self.busname, "/", follow_name_owner_changes=True)
593
self.mandos_serv = dbus.Interface(
594
mandos_dbus_objc, dbus_interface=server_interface)
575
self.mandos_serv = dbus.Interface(mandos_dbus_objc,
596
579
mandos_clients = (self.mandos_serv
597
580
.GetAllClientsWithProperties())
598
581
if not mandos_clients:
599
log.warning("Note: Server has no clients.")
582
self.log_message_raw(("bold", "Note: Server has no clients."))
600
583
except dbus.exceptions.DBusException:
601
log.warning("Note: No Mandos server running.")
584
self.log_message_raw(("bold", "Note: No Mandos server running."))
602
585
mandos_clients = dbus.Dictionary()
604
587
(self.mandos_serv
605
.connect_to_signal("InterfacesRemoved",
588
.connect_to_signal("ClientRemoved",
606
589
self.find_and_remove_client,
607
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
590
dbus_interface=server_interface,
608
591
byte_arrays=True))
609
592
(self.mandos_serv
610
.connect_to_signal("InterfacesAdded",
593
.connect_to_signal("ClientAdded",
611
594
self.add_new_client,
612
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
595
dbus_interface=server_interface,
613
596
byte_arrays=True))
614
597
(self.mandos_serv
615
598
.connect_to_signal("ClientNotFound",
619
602
for path, client in mandos_clients.items():
620
603
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),
605
self.add_client(MandosClientWidget(server_proxy_object
608
=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)))
619
self._input_callback_tag = (gobject.io_add_watch
636
623
self.main_loop.run()
637
624
# 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)
625
gobject.source_remove(self._input_callback_tag)
644
629
self.main_loop.quit()
645
log.removeHandler(self.loghandler)
646
log.propagate = self.orig_log_propagate
648
631
def process_input(self, source, condition):
649
632
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
633
translations = { "ctrl n": "down", # Emacs
634
"ctrl p": "up", # Emacs
635
"ctrl v": "page down", # Emacs
636
"meta v": "page up", # Emacs
637
" ": "page down", # less
638
"f": "page down", # less
639
"b": "page up", # less
662
645
key = translations[key]
663
646
except KeyError: # :-)
666
649
if key == "q" or key == "Q":
669
652
elif key == "window resize":
670
653
self.size = self.screen.get_cols_rows()
672
elif key == "ctrl l":
655
elif key == "\f": # Ctrl-L
675
657
elif key == "l" or key == "D":
676
658
self.toggle_log_display()
709
690
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
692
#elif (key == "end" or key == "meta >" or key == "G"
694
# pass # xxx end-of-buffer
695
#elif (key == "home" or key == "meta <" or key == "g"
697
# pass # xxx beginning-of-buffer
698
#elif key == "ctrl e" or key == "$":
699
# pass # xxx move-end-of-line
700
#elif key == "ctrl a" or key == "^":
701
# pass # xxx move-beginning-of-line
702
#elif key == "ctrl b" or key == "meta (" or key == "h":
704
#elif key == "ctrl f" or key == "meta )" or key == "l":
707
# pass # scroll up log
709
# pass # scroll down log
736
710
elif self.topwidget.selectable():
737
711
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
715
ui = UserInterface()
758
718
except KeyboardInterrupt:
759
with warnings.catch_warnings():
760
warnings.filterwarnings("ignore", "", BytesWarning)
763
with warnings.catch_warnings():
764
warnings.filterwarnings("ignore", "", BytesWarning)
720
except Exception as e:
721
ui.log_message(str(e))