1
#!/usr/bin/python3 -bbI
2
2
# -*- mode: python; coding: utf-8 -*-
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
13
# the Free Software Foundation, either version 3 of the License, or
14
# (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
18
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19
# GNU General Public License for more details.
21
# You should have received a copy of the GNU General Public License
22
# along with Mandos. If not, see <http://www.gnu.org/licenses/>.
24
# Contact the authors at <mandos@recompile.se>.
26
from __future__ import (division, absolute_import, print_function,
4
from __future__ import division, absolute_import, with_statement
30
from future_builtins import *
9
41
import urwid.curses_display
12
44
from dbus.mainloop.glib import DBusGMainLoop
45
from gi.repository import GLib
49
if sys.version_info.major == 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)
19
69
# Some useful constants
20
domain = 'se.bsnet.fukt'
21
server_interface = domain + '.Mandos'
22
client_interface = domain + '.Mandos.Client'
25
# Always run in monochrome mode
26
urwid.curses_display.curses.has_colors = lambda : False
28
# Urwid doesn't support blinking, but we want it. Since we have no
29
# use for underline on its own, we make underline also always blink.
30
urwid.curses_display.curses.A_UNDERLINE |= (
31
urwid.curses_display.curses.A_BLINK)
33
class MandosClientPropertyCache(object):
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"
81
def isoformat_to_datetime(iso):
82
"Parse an ISO 8601 date string to a datetime.datetime()"
85
d, t = iso.split("T", 1)
86
year, month, day = d.split("-", 2)
87
hour, minute, second = t.split(":", 2)
88
second, fraction = divmod(float(second), 1)
89
return datetime.datetime(int(year),
94
int(second), # Whole seconds
95
int(fraction*1000000)) # Microseconds
98
class MandosClientPropertyCache:
34
99
"""This wraps a Mandos Client D-Bus proxy object, caches the
35
100
properties and calls a hook function when any of them are
38
def __init__(self, proxy_object=None, properties=None, *args,
40
self.proxy = proxy_object # Mandos Client proxy object
42
if properties is None:
43
self.properties = dict()
45
self.properties = properties
46
self.proxy.connect_to_signal("PropertyChanged",
47
self.property_changed,
51
if properties is None:
52
self.properties.update(self.proxy.GetAll(client_interface,
54
dbus.PROPERTIES_IFACE))
55
super(MandosClientPropertyCache, self).__init__(
56
proxy_object=proxy_object,
57
properties=properties, *args, **kwargs)
59
def property_changed(self, property=None, value=None):
60
"""This is called whenever we get a PropertyChanged signal
61
It updates the changed property in the "properties" dict.
103
def __init__(self, proxy_object=None, properties=None, **kwargs):
104
self.proxy = proxy_object # Mandos Client proxy object
105
self.properties = dict() if properties is None else properties
106
self.property_changed_match = (
107
self.proxy.connect_to_signal("PropertiesChanged",
108
self.properties_changed,
109
dbus.PROPERTIES_IFACE,
112
if properties is None:
113
self.properties.update(self.proxy.GetAll(
115
dbus_interface=dbus.PROPERTIES_IFACE))
117
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.
63
123
# Update properties dict with new value
64
self.properties[property] = value
124
if interface == client_interface:
125
self.properties.update(properties)
128
self.property_changed_match.remove()
67
131
class MandosClientWidget(urwid.FlowWidget, MandosClientPropertyCache):
68
132
"""A Mandos Client which is visible on the screen.
71
135
def __init__(self, server_proxy_object=None, update_hook=None,
72
delete_hook=None, *args, **kwargs):
136
delete_hook=None, **kwargs):
73
137
# Called on update
74
138
self.update_hook = update_hook
75
139
# Called on delete
76
140
self.delete_hook = delete_hook
77
141
# Mandos Server proxy object
78
142
self.server_proxy_object = server_proxy_object
144
self._update_timer_callback_tag = None
80
146
# The widget shown normally
81
147
self._text_widget = urwid.Text("")
82
148
# The widget shown when we have focus
83
149
self._focus_text_widget = urwid.Text("")
84
super(MandosClientWidget, self).__init__(
85
update_hook=update_hook, delete_hook=delete_hook,
150
super(MandosClientWidget, self).__init__(**kwargs)
88
152
self.opened = False
154
self.match_objects = (
155
self.proxy.connect_to_signal("CheckerCompleted",
156
self.checker_completed,
159
self.proxy.connect_to_signal("CheckerStarted",
160
self.checker_started,
163
self.proxy.connect_to_signal("GotSecret",
167
self.proxy.connect_to_signal("NeedApproval",
171
self.proxy.connect_to_signal("Rejected",
175
log.debug("Created client %s", self.properties["Name"])
177
def using_timer(self, flag):
178
"""Call this method with True or False when timer should be
179
activated or deactivated.
181
if flag and self._update_timer_callback_tag is None:
182
# 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)))
186
elif not (flag or self._update_timer_callback_tag is None):
187
GLib.source_remove(self._update_timer_callback_tag)
188
self._update_timer_callback_tag = None
190
def checker_completed(self, exitstatus, condition, command):
192
log.debug('Checker for client %s (command "%s")'
193
" succeeded", self.properties["Name"], command)
197
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))
201
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))
207
def checker_started(self, command):
208
"""Server signals that a checker started."""
209
log.debug('Client %s started checker "%s"',
210
self.properties["Name"], command)
212
def got_secret(self):
213
log.info("Client %s received its secret",
214
self.properties["Name"])
216
def need_approval(self, timeout, default):
218
message = "Client %s needs approval within %f seconds"
220
message = "Client %s will get its secret in %f seconds"
221
log.info(message, self.properties["Name"], timeout/1000)
223
def rejected(self, reason):
224
log.info("Client %s was rejected; reason: %s",
225
self.properties["Name"], reason)
90
227
def selectable(self):
91
228
"""Make this a "selectable" widget.
92
229
This overrides the method from urwid.FlowWidget."""
95
def rows(self, (maxcol,), focus=False):
232
def rows(self, maxcolrow, focus=False):
96
233
"""How many rows this widget will occupy might depend on
97
234
whether we have focus or not.
98
235
This overrides the method from urwid.FlowWidget"""
99
return self.current_widget(focus).rows((maxcol,), focus=focus)
236
return self.current_widget(focus).rows(maxcolrow, focus=focus)
101
238
def current_widget(self, focus=False):
102
239
if focus or self.opened:
103
240
return self._focus_widget
104
241
return self._widget
106
243
def update(self):
107
244
"Called when what is visible on the screen should be updated."
108
245
# How to add standout mode to a style
109
with_standout = { u"normal": u"standout",
110
u"bold": u"bold-standout",
112
u"underline-blink-standout",
113
u"bold-underline-blink":
114
u"bold-underline-blink-standout",
246
with_standout = {"normal": "standout",
247
"bold": "bold-standout",
249
"underline-blink-standout",
250
"bold-underline-blink":
251
"bold-underline-blink-standout",
117
254
# Rebuild focus and non-focus widgets using current properties
118
self._text = (u'name="%(name)s", enabled=%(enabled)s'
256
# Base part of a client. Name!
257
base = "{name}: ".format(name=self.properties["Name"])
258
if not self.properties["Enabled"]:
260
self.using_timer(False)
261
elif self.properties["ApprovalPending"]:
262
timeout = datetime.timedelta(
263
milliseconds=self.properties["ApprovalDelay"])
264
last_approval_request = isoformat_to_datetime(
265
self.properties["LastApprovalRequest"])
266
if last_approval_request is not None:
267
timer = max(timeout - (datetime.datetime.utcnow()
268
- last_approval_request),
269
datetime.timedelta())
271
timer = datetime.timedelta()
272
if self.properties["ApprovedByDefault"]:
273
message = "Approval in {}. (d)eny?"
275
message = "Denial in {}. (a)pprove?"
276
message = message.format(str(timer).rsplit(".", 1)[0])
277
self.using_timer(True)
278
elif self.properties["LastCheckerStatus"] != 0:
279
# When checker has failed, show timer until client expires
280
expires = self.properties["Expires"]
282
timer = datetime.timedelta(0)
284
expires = (datetime.datetime.strptime
285
(expires, "%Y-%m-%dT%H:%M:%S.%f"))
286
timer = max(expires - datetime.datetime.utcnow(),
287
datetime.timedelta())
288
message = ("A checker has failed! Time until client"
290
.format(str(timer).rsplit(".", 1)[0]))
291
self.using_timer(True)
294
self.using_timer(False)
295
self._text = "{}{}".format(base, message)
120
297
if not urwid.supports_unicode():
121
298
self._text = self._text.encode("ascii", "replace")
122
textlist = [(u"normal", u"BLARGH: "), (u"bold", self._text)]
299
textlist = [("normal", self._text)]
123
300
self._text_widget.set_text(textlist)
124
301
self._focus_text_widget.set_text([(with_standout[text[0]],
132
309
# Run update hook, if any
133
310
if self.update_hook is not None:
134
311
self.update_hook()
313
def update_timer(self):
314
"""called by GLib. Will indefinitely loop until
315
GLib.source_remove() on tag is called
318
return True # Keep calling this
320
def delete(self, **kwargs):
321
if self._update_timer_callback_tag is not None:
322
GLib.source_remove(self._update_timer_callback_tag)
323
self._update_timer_callback_tag = None
324
for match in self.match_objects:
326
self.match_objects = ()
137
327
if self.delete_hook is not None:
138
328
self.delete_hook(self)
140
def render(self, (maxcol,), focus=False):
329
return super(MandosClientWidget, self).delete(**kwargs)
331
def render(self, maxcolrow, focus=False):
141
332
"""Render differently if we have focus.
142
333
This overrides the method from urwid.FlowWidget"""
143
return self.current_widget(focus).render((maxcol,),
334
return self.current_widget(focus).render(maxcolrow,
146
def keypress(self, (maxcol,), key):
337
def keypress(self, maxcolrow, key):
148
339
This overrides the method from urwid.FlowWidget"""
149
if key == u"e" or key == u"+":
151
elif key == u"d" or key == u"-":
153
elif key == u"r" or key == u"_" or key == u"ctrl k":
341
self.proxy.Set(client_interface, "Enabled",
342
dbus.Boolean(True), ignore_reply=True,
343
dbus_interface=dbus.PROPERTIES_IFACE)
345
self.proxy.Set(client_interface, "Enabled", False,
347
dbus_interface=dbus.PROPERTIES_IFACE)
349
self.proxy.Approve(dbus.Boolean(True, variant_level=1),
350
dbus_interface=client_interface,
353
self.proxy.Approve(dbus.Boolean(False, variant_level=1),
354
dbus_interface=client_interface,
356
elif key == "R" or key == "_" or key == "ctrl k":
154
357
self.server_proxy_object.RemoveClient(self.proxy
157
self.proxy.StartChecker()
159
self.proxy.StopChecker()
161
self.proxy.CheckedOK()
361
self.proxy.Set(client_interface, "CheckerRunning",
362
dbus.Boolean(True), ignore_reply=True,
363
dbus_interface=dbus.PROPERTIES_IFACE)
365
self.proxy.Set(client_interface, "CheckerRunning",
366
dbus.Boolean(False), ignore_reply=True,
367
dbus_interface=dbus.PROPERTIES_IFACE)
369
self.proxy.CheckedOK(dbus_interface=client_interface,
163
# elif key == u"p" or key == "=":
372
# elif key == "p" or key == "=":
164
373
# self.proxy.pause()
165
# elif key == u"u" or key == ":":
374
# elif key == "u" or key == ":":
166
375
# self.proxy.unpause()
167
# elif key == u"RET":
172
def property_changed(self, property=None, value=None,
174
"""Call self.update() if old value is not new value.
381
def properties_changed(self, interface, properties, invalidated):
382
"""Call self.update() if any properties changed.
175
383
This overrides the method from MandosClientPropertyCache"""
176
property_name = unicode(property)
177
old_value = self.properties.get(property_name)
178
super(MandosClientWidget, self).property_changed(
179
property=property, value=value, *args, **kwargs)
180
if self.properties.get(property_name) != old_value:
384
old_values = {key: self.properties.get(key)
385
for key in properties.keys()}
386
super(MandosClientWidget, self).properties_changed(
387
interface, properties, invalidated)
388
if any(old_values[key] != self.properties.get(key)
389
for key in old_values):
393
def glib_safely(func, retval=True):
394
def safe_func(*args, **kwargs):
396
return func(*args, **kwargs)
184
403
class ConstrainedListBox(urwid.ListBox):
185
404
"""Like a normal urwid.ListBox, but will consume all "up" or
186
405
"down" key presses, thus not allowing any containing widgets to
187
406
use them as an excuse to shift focus away from this widget.
189
def keypress(self, (maxcol, maxrow), key):
190
ret = super(ConstrainedListBox, self).keypress((maxcol, maxrow), key)
191
if ret in (u"up", u"down"):
408
def keypress(self, *args, **kwargs):
409
ret = (super(ConstrainedListBox, self)
410
.keypress(*args, **kwargs))
411
if ret in ("up", "down"):
196
class UserInterface(object):
197
417
"""This is the entire user interface - the whole screen
198
418
with boxes, lists of client widgets, etc.
200
420
def __init__(self, max_log_length=1000):
201
421
DBusGMainLoop(set_as_default=True)
203
423
self.screen = urwid.curses_display.Screen()
205
425
self.screen.register_palette((
207
u"default", u"default", None),
209
u"default", u"default", u"bold"),
211
u"default", u"default", u"underline"),
213
u"default", u"default", u"standout"),
214
(u"bold-underline-blink",
215
u"default", u"default", (u"bold", u"underline")),
217
u"default", u"default", (u"bold", u"standout")),
218
(u"underline-blink-standout",
219
u"default", u"default", (u"underline", u"standout")),
220
(u"bold-underline-blink-standout",
221
u"default", u"default", (u"bold", u"underline",
427
"default", "default", None),
429
"bold", "default", "bold"),
431
"underline,blink", "default", "underline,blink"),
433
"standout", "default", "standout"),
434
("bold-underline-blink",
435
"bold,underline,blink", "default",
436
"bold,underline,blink"),
438
"bold,standout", "default", "bold,standout"),
439
("underline-blink-standout",
440
"underline,blink,standout", "default",
441
"underline,blink,standout"),
442
("bold-underline-blink-standout",
443
"bold,underline,blink,standout", "default",
444
"bold,underline,blink,standout"),
225
447
if urwid.supports_unicode():
226
self.divider = u"─" # \u2500
227
#self.divider = u"━" # \u2501
448
self.divider = "─" # \u2500
229
#self.divider = u"-" # \u002d
230
self.divider = u"_" # \u005f
450
self.divider = "_" # \u005f
232
452
self.screen.start()
234
454
self.size = self.screen.get_cols_rows()
236
456
self.clients = urwid.SimpleListWalker([])
237
457
self.clients_dict = {}
239
459
# We will add Text widgets to this list
460
self.log = urwid.SimpleListWalker([])
241
461
self.max_log_length = max_log_length
243
463
# We keep a reference to the log widget so we can remove it
244
464
# from the ListWalker without it getting destroyed
245
465
self.logbox = ConstrainedListBox(self.log)
247
467
# This keeps track of whether self.uilist currently has
248
468
# self.logbox in it or not
249
469
self.log_visible = True
250
self.log_wrap = u"any"
470
self.log_wrap = "any"
472
self.loghandler = UILogHandler(self)
253
self.log_message((u"bold",
254
u"Mandos Monitor version " + version))
255
self.log_message((u"bold",
258
self.busname = domain + '.Mandos'
259
self.main_loop = gobject.MainLoop()
260
self.bus = dbus.SystemBus()
261
mandos_dbus_objc = self.bus.get_object(
262
self.busname, u"/", follow_name_owner_changes=True)
263
self.mandos_serv = dbus.Interface(mandos_dbus_objc,
267
mandos_clients = (self.mandos_serv
268
.GetAllClientsWithProperties())
269
except dbus.exceptions.DBusException:
270
mandos_clients = dbus.Dictionary()
273
.connect_to_signal("ClientRemoved",
274
self.find_and_remove_client,
275
dbus_interface=server_interface,
278
.connect_to_signal("ClientAdded",
280
dbus_interface=server_interface,
282
for path, client in mandos_clients.iteritems():
283
client_proxy_object = self.bus.get_object(self.busname,
285
self.add_client(MandosClientWidget(server_proxy_object
288
=client_proxy_object,
293
=self.remove_client),
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)
296
486
def rebuild(self):
297
487
"""This rebuilds the User Interface.
298
488
Call this when the widget layout needs to change"""
300
#self.uilist.append(urwid.ListBox(self.clients))
301
self.uilist.append(urwid.Frame(ConstrainedListBox(self.clients),
302
#header=urwid.Divider(),
490
# self.uilist.append(urwid.ListBox(self.clients))
491
self.uilist.append(urwid.Frame(ConstrainedListBox(self.
493
# header=urwid.Divider(),
304
footer=urwid.Divider(div_char=self.divider)))
495
footer=urwid.Divider(
496
div_char=self.divider)))
305
497
if self.log_visible:
306
498
self.uilist.append(self.logbox)
308
499
self.topwidget = urwid.Pile(self.uilist)
310
def log_message(self, markup):
311
"""Add a log message to the log buffer."""
501
def add_log_line(self, markup):
312
502
self.log.append(urwid.Text(markup, wrap=self.log_wrap))
313
if (self.max_log_length
314
and len(self.log) > self.max_log_length):
315
del self.log[0:len(self.log)-self.max_log_length-1]
316
self.logbox.set_focus(len(self.logbox.body.contents),
317
coming_from=u"above")
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,
319
510
def toggle_log_display(self):
320
511
"""Toggle visibility of the log buffer."""
321
512
self.log_visible = not self.log_visible
323
self.log_message(u"Log visibility changed to: "
324
+ unicode(self.log_visible))
514
log.debug("Log visibility changed to: %s", self.log_visible)
326
516
def change_log_display(self):
327
517
"""Change type of log display.
328
518
Currently, this toggles wrapping of text lines."""
329
if self.log_wrap == u"clip":
330
self.log_wrap = u"any"
519
if self.log_wrap == "clip":
520
self.log_wrap = "any"
332
self.log_wrap = u"clip"
522
self.log_wrap = "clip"
333
523
for textwidget in self.log:
334
524
textwidget.set_wrap_mode(self.log_wrap)
335
self.log_message(u"Wrap mode: " + self.log_wrap)
337
def find_and_remove_client(self, path, name):
338
"""Find an client from its object path and remove it.
340
This is connected to the ClientRemoved signal from the
525
log.debug("Wrap mode: %s", self.log_wrap)
527
def find_and_remove_client(self, path, interfaces):
528
"""Find a client by its object path and remove it.
530
This is connected to the InterfacesRemoved signal from the
341
531
Mandos server object."""
532
if client_interface not in interfaces:
533
# Not a Mandos client object; ignore
343
536
client = self.clients_dict[path]
347
self.remove_client(client, path)
349
def add_new_client(self, path, properties):
539
log.warning("Unknown client %s removed", path)
543
def add_new_client(self, path, ifs_and_props):
544
"""Find a client by its object path and remove it.
546
This is connected to the InterfacesAdded signal from the
547
Mandos server object.
549
if client_interface not in ifs_and_props:
550
# Not a Mandos client object; ignore
350
552
client_proxy_object = self.bus.get_object(self.busname, path)
351
self.add_client(MandosClientWidget(server_proxy_object
354
=client_proxy_object,
355
properties=properties,
359
=self.remove_client),
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])),
362
561
def add_client(self, client, path=None):
363
562
self.clients.append(client)
365
564
path = client.proxy.object_path
366
565
self.clients_dict[path] = client
367
self.clients.sort(None, lambda c: c.properties[u"name"])
566
self.clients.sort(key=lambda c: c.properties["Name"])
370
569
def remove_client(self, client, path=None):
371
570
self.clients.remove(client)
373
572
path = client.proxy.object_path
374
573
del self.clients_dict[path]
375
if not self.clients_dict:
376
# Work around bug in Urwid 0.9.8.3 - if a SimpleListWalker
377
# is completely emptied, we need to recreate it.
378
self.clients = urwid.SimpleListWalker([])
382
576
def refresh(self):
383
577
"""Redraw the screen"""
384
578
canvas = self.topwidget.render(self.size, focus=True)
385
579
self.screen.draw_screen(self.size, canvas)
388
582
"""Start the main loop and exit when it's done."""
583
log.addHandler(self.loghandler)
584
self.orig_log_propagate = log.propagate
585
log.propagate = False
586
self.orig_log_level = log.level
588
self.bus = dbus.SystemBus()
589
mandos_dbus_objc = self.bus.get_object(
590
self.busname, "/", follow_name_owner_changes=True)
591
self.mandos_serv = dbus.Interface(
592
mandos_dbus_objc, dbus_interface=server_interface)
594
mandos_clients = (self.mandos_serv
595
.GetAllClientsWithProperties())
596
if not mandos_clients:
597
log.warning("Note: Server has no clients.")
598
except dbus.exceptions.DBusException:
599
log.warning("Note: No Mandos server running.")
600
mandos_clients = dbus.Dictionary()
603
.connect_to_signal("InterfacesRemoved",
604
self.find_and_remove_client,
605
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
608
.connect_to_signal("InterfacesAdded",
610
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
613
.connect_to_signal("ClientNotFound",
614
self.client_not_found,
615
dbus_interface=server_interface,
617
for path, client in mandos_clients.items():
618
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),
390
self._input_callback_tag = (gobject.io_add_watch
629
self._input_callback_tag = (
631
GLib.IOChannel.unix_new(sys.stdin.fileno()),
632
GLib.PRIORITY_DEFAULT, GLib.IO_IN,
633
glib_safely(self.process_input)))
394
634
self.main_loop.run()
395
635
# Main loop has finished, we should close everything now
396
gobject.source_remove(self._input_callback_tag)
636
GLib.source_remove(self._input_callback_tag)
637
with warnings.catch_warnings():
638
warnings.simplefilter("ignore", BytesWarning)
400
642
self.main_loop.quit()
643
log.removeHandler(self.loghandler)
644
log.propagate = self.orig_log_propagate
402
646
def process_input(self, source, condition):
403
647
keys = self.screen.get_input()
404
translations = { u"ctrl n": u"down", # Emacs
405
u"ctrl p": u"up", # Emacs
406
u"ctrl v": u"page down", # Emacs
407
u"meta v": u"page up", # Emacs
408
u" ": u"page down", # less
409
u"f": u"page down", # less
410
u"b": u"page up", # less
648
translations = {"ctrl n": "down", # Emacs
649
"ctrl p": "up", # Emacs
650
"ctrl v": "page down", # Emacs
651
"meta v": "page up", # Emacs
652
" ": "page down", # less
653
"f": "page down", # less
654
"b": "page up", # less
416
660
key = translations[key]
417
661
except KeyError: # :-)
420
if key == u"q" or key == u"Q":
664
if key == "q" or key == "Q":
423
elif key == u"window resize":
667
elif key == "window resize":
424
668
self.size = self.screen.get_cols_rows()
426
elif key == u"\f": # Ctrl-L
670
elif key == "ctrl l":
428
elif key == u"l" or key == u"D":
673
elif key == "l" or key == "D":
429
674
self.toggle_log_display()
431
elif key == u"w" or key == u"i":
676
elif key == "w" or key == "i":
432
677
self.change_log_display()
434
elif key == u"?" or key == u"f1" or key == u"esc":
679
elif key == "?" or key == "f1" or key == "esc":
435
680
if not self.log_visible:
436
681
self.log_visible = True
438
self.log_message((u"bold",
439
u" ".join((u"q: Quit",
441
u"l: Log window toggle",
442
u"TAB: Switch window",
444
self.log_message((u"bold",
445
u" ".join((u"Clients:",
449
u"s: Start new checker",
683
self.add_log_line(("bold",
686
"l: Log window toggle",
687
"TAB: Switch window",
688
"w: Wrap (log lines)",
689
"v: Toggle verbose log",
691
self.add_log_line(("bold",
692
" ".join(("Clients:",
696
"s: Start new checker",
454
704
if self.topwidget.get_focus() is self.logbox:
455
705
self.topwidget.set_focus(0)
457
707
self.topwidget.set_focus(self.logbox)
459
#elif (key == u"end" or key == u"meta >" or key == u"G"
461
# pass # xxx end-of-buffer
462
#elif (key == u"home" or key == u"meta <" or key == u"g"
464
# pass # xxx beginning-of-buffer
465
#elif key == u"ctrl e" or key == u"$":
466
# pass # xxx move-end-of-line
467
#elif key == u"ctrl a" or key == u"^":
468
# pass # xxx move-beginning-of-line
469
#elif key == u"ctrl b" or key == u"meta (" or key == u"h":
471
#elif key == u"ctrl f" or key == u"meta )" or key == u"l":
474
# pass # scroll up log
476
# pass # scroll down log
710
if log.level < logging.INFO:
711
log.setLevel(logging.INFO)
712
log.info("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
477
734
elif self.topwidget.selectable():
478
735
self.topwidget.keypress(self.size, key)
740
class UILogHandler(logging.Handler):
741
def __init__(self, ui, *args, **kwargs):
743
super(UILogHandler, self).__init__(*args, **kwargs)
745
logging.Formatter("%(asctime)s: %(message)s"))
746
def emit(self, record):
747
msg = self.format(record)
748
if record.levelno > logging.INFO:
750
self.ui.add_log_line(msg)
482
753
ui = UserInterface()
756
except KeyboardInterrupt:
757
with warnings.catch_warnings():
758
warnings.filterwarnings("ignore", "", BytesWarning)
761
with warnings.catch_warnings():
762
warnings.filterwarnings("ignore", "", BytesWarning)