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