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,
30
from future_builtins import *
4
from __future__ import division, absolute_import, with_statement
41
9
import urwid.curses_display
44
12
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)
69
19
# 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"
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:
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):
99
34
"""This wraps a Mandos Client D-Bus proxy object, caches the
100
35
properties and calls a hook function when any of them are
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.
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.
123
63
# Update properties dict with new value
124
if interface == client_interface:
125
self.properties.update(properties)
128
self.property_changed_match.remove()
131
class MandosClientWidget(MandosClientPropertyCache, urwid.Widget):
64
self.properties[property] = value
67
class MandosClientWidget(urwid.FlowWidget, MandosClientPropertyCache):
132
68
"""A Mandos Client which is visible on the screen.
135
_sizing = frozenset(["flow"])
137
71
def __init__(self, server_proxy_object=None, update_hook=None,
138
delete_hook=None, **kwargs):
72
delete_hook=None, *args, **kwargs):
139
73
# Called on update
140
74
self.update_hook = update_hook
141
75
# Called on delete
142
76
self.delete_hook = delete_hook
143
77
# Mandos Server proxy object
144
78
self.server_proxy_object = server_proxy_object
146
self._update_timer_callback_tag = None
148
80
# The widget shown normally
149
81
self._text_widget = urwid.Text("")
150
82
# The widget shown when we have focus
151
83
self._focus_text_widget = urwid.Text("")
152
super(MandosClientWidget, self).__init__(**kwargs)
84
super(MandosClientWidget, self).__init__(
85
update_hook=update_hook, delete_hook=delete_hook,
154
88
self.opened = False
156
self.match_objects = (
157
self.proxy.connect_to_signal("CheckerCompleted",
158
self.checker_completed,
161
self.proxy.connect_to_signal("CheckerStarted",
162
self.checker_started,
165
self.proxy.connect_to_signal("GotSecret",
169
self.proxy.connect_to_signal("NeedApproval",
173
self.proxy.connect_to_signal("Rejected",
177
log.debug("Created client %s", self.properties["Name"])
179
def using_timer(self, flag):
180
"""Call this method with True or False when timer should be
181
activated or deactivated.
183
if flag and self._update_timer_callback_tag is None:
184
# 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)))
188
elif not (flag or self._update_timer_callback_tag is None):
189
GLib.source_remove(self._update_timer_callback_tag)
190
self._update_timer_callback_tag = None
192
def checker_completed(self, exitstatus, condition, command):
194
log.debug('Checker for client %s (command "%s")'
195
" succeeded", self.properties["Name"], command)
199
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))
203
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))
209
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)
214
def got_secret(self):
215
log.info("Client %s received its secret",
216
self.properties["Name"])
218
def need_approval(self, timeout, default):
220
message = "Client %s needs approval within %f seconds"
222
message = "Client %s will get its secret in %f seconds"
223
log.info(message, self.properties["Name"], timeout/1000)
225
def rejected(self, reason):
226
log.info("Client %s was rejected; reason: %s",
227
self.properties["Name"], reason)
229
90
def selectable(self):
230
91
"""Make this a "selectable" widget.
231
This overrides the method from urwid.Widget."""
92
This overrides the method from urwid.FlowWidget."""
234
def rows(self, maxcolrow, focus=False):
95
def rows(self, (maxcol,), focus=False):
235
96
"""How many rows this widget will occupy might depend on
236
97
whether we have focus or not.
237
This overrides the method from urwid.Widget"""
238
return self.current_widget(focus).rows(maxcolrow, focus=focus)
98
This overrides the method from urwid.FlowWidget"""
99
return self.current_widget(focus).rows((maxcol,), focus=focus)
240
101
def current_widget(self, focus=False):
241
102
if focus or self.opened:
242
103
return self._focus_widget
243
104
return self._widget
245
106
def update(self):
246
107
"Called when what is visible on the screen should be updated."
247
108
# 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",
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",
256
117
# Rebuild focus and non-focus widgets using current properties
258
# Base part of a client. Name!
259
base = "{name}: ".format(name=self.properties["Name"])
260
if not self.properties["Enabled"]:
262
self.using_timer(False)
263
elif self.properties["ApprovalPending"]:
264
timeout = datetime.timedelta(
265
milliseconds=self.properties["ApprovalDelay"])
266
last_approval_request = isoformat_to_datetime(
267
self.properties["LastApprovalRequest"])
268
if last_approval_request is not None:
269
timer = max(timeout - (datetime.datetime.utcnow()
270
- last_approval_request),
271
datetime.timedelta())
273
timer = datetime.timedelta()
274
if self.properties["ApprovedByDefault"]:
275
message = "Approval in {}. (d)eny?"
277
message = "Denial in {}. (a)pprove?"
278
message = message.format(str(timer).rsplit(".", 1)[0])
279
self.using_timer(True)
280
elif self.properties["LastCheckerStatus"] != 0:
281
# When checker has failed, show timer until client expires
282
expires = self.properties["Expires"]
284
timer = datetime.timedelta(0)
286
expires = (datetime.datetime.strptime
287
(expires, "%Y-%m-%dT%H:%M:%S.%f"))
288
timer = max(expires - datetime.datetime.utcnow(),
289
datetime.timedelta())
290
message = ("A checker has failed! Time until client"
292
.format(str(timer).rsplit(".", 1)[0]))
293
self.using_timer(True)
296
self.using_timer(False)
297
self._text = "{}{}".format(base, message)
118
self._text = (u'name="%(name)s", enabled=%(enabled)s'
299
120
if not urwid.supports_unicode():
300
121
self._text = self._text.encode("ascii", "replace")
301
textlist = [("normal", self._text)]
122
textlist = [(u"normal", u"BLARGH: "), (u"bold", self._text)]
302
123
self._text_widget.set_text(textlist)
303
124
self._focus_text_widget.set_text([(with_standout[text[0]],
311
132
# Run update hook, if any
312
133
if self.update_hook is not None:
313
134
self.update_hook()
315
def update_timer(self):
316
"""called by GLib. Will indefinitely loop until
317
GLib.source_remove() on tag is called
320
return True # Keep calling this
322
def delete(self, **kwargs):
323
if self._update_timer_callback_tag is not None:
324
GLib.source_remove(self._update_timer_callback_tag)
325
self._update_timer_callback_tag = None
326
for match in self.match_objects:
328
self.match_objects = ()
329
137
if self.delete_hook is not None:
330
138
self.delete_hook(self)
331
return super(MandosClientWidget, self).delete(**kwargs)
333
def render(self, maxcolrow, focus=False):
140
def render(self, (maxcol,), focus=False):
334
141
"""Render differently if we have focus.
335
This overrides the method from urwid.Widget"""
336
return self.current_widget(focus).render(maxcolrow,
142
This overrides the method from urwid.FlowWidget"""
143
return self.current_widget(focus).render((maxcol,),
339
def keypress(self, maxcolrow, key):
146
def keypress(self, (maxcol,), key):
341
This overrides the method from urwid.Widget"""
343
self.proxy.Set(client_interface, "Enabled",
344
dbus.Boolean(True), ignore_reply=True,
345
dbus_interface=dbus.PROPERTIES_IFACE)
347
self.proxy.Set(client_interface, "Enabled", False,
349
dbus_interface=dbus.PROPERTIES_IFACE)
351
self.proxy.Approve(dbus.Boolean(True, variant_level=1),
352
dbus_interface=client_interface,
355
self.proxy.Approve(dbus.Boolean(False, variant_level=1),
356
dbus_interface=client_interface,
358
elif key == "R" or key == "_" or key == "ctrl k":
148
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"_":
359
154
self.server_proxy_object.RemoveClient(self.proxy
363
self.proxy.Set(client_interface, "CheckerRunning",
364
dbus.Boolean(True), ignore_reply=True,
365
dbus_interface=dbus.PROPERTIES_IFACE)
367
self.proxy.Set(client_interface, "CheckerRunning",
368
dbus.Boolean(False), ignore_reply=True,
369
dbus_interface=dbus.PROPERTIES_IFACE)
371
self.proxy.CheckedOK(dbus_interface=client_interface,
157
self.proxy.StartChecker()
159
self.proxy.StopChecker()
161
self.proxy.CheckedOK()
374
# elif key == "p" or key == "=":
163
# elif key == u"p" or key == "=":
375
164
# self.proxy.pause()
376
# elif key == "u" or key == ":":
165
# elif key == u"u" or key == ":":
377
166
# self.proxy.unpause()
167
# elif key == u"RET":
383
def properties_changed(self, interface, properties, invalidated):
384
"""Call self.update() if any properties changed.
172
def property_changed(self, property=None, value=None,
174
"""Call self.update() if old value is not new value.
385
175
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):
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:
395
def glib_safely(func, retval=True):
396
def safe_func(*args, **kwargs):
398
return func(*args, **kwargs)
405
184
class ConstrainedListBox(urwid.ListBox):
406
185
"""Like a normal urwid.ListBox, but will consume all "up" or
407
186
"down" key presses, thus not allowing any containing widgets to
408
187
use them as an excuse to shift focus away from this widget.
410
def keypress(self, *args, **kwargs):
411
ret = (super(ConstrainedListBox, self)
412
.keypress(*args, **kwargs))
413
if ret in ("up", "down"):
189
def keypress(self, (maxcol, maxrow), key):
190
ret = super(ConstrainedListBox, self).keypress((maxcol, maxrow), key)
191
if ret in (u"up", u"down"):
196
class UserInterface(object):
419
197
"""This is the entire user interface - the whole screen
420
198
with boxes, lists of client widgets, etc.
422
200
def __init__(self, max_log_length=1000):
423
201
DBusGMainLoop(set_as_default=True)
425
203
self.screen = urwid.curses_display.Screen()
427
205
self.screen.register_palette((
429
"default", "default", None),
431
"bold", "default", "bold"),
433
"underline,blink", "default", "underline,blink"),
435
"standout", "default", "standout"),
436
("bold-underline-blink",
437
"bold,underline,blink", "default",
438
"bold,underline,blink"),
440
"bold,standout", "default", "bold,standout"),
441
("underline-blink-standout",
442
"underline,blink,standout", "default",
443
"underline,blink,standout"),
444
("bold-underline-blink-standout",
445
"bold,underline,blink,standout", "default",
446
"bold,underline,blink,standout"),
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",
449
225
if urwid.supports_unicode():
450
self.divider = "─" # \u2500
226
#self.divider = u"─" # \u2500
227
self.divider = u"━" # \u2501
452
self.divider = "_" # \u005f
229
#self.divider = u"-" # \u002d
230
self.divider = u"_" # \u005f
454
232
self.screen.start()
456
234
self.size = self.screen.get_cols_rows()
458
236
self.clients = urwid.SimpleListWalker([])
459
237
self.clients_dict = {}
461
239
# We will add Text widgets to this list
462
self.log = urwid.SimpleListWalker([])
463
241
self.max_log_length = max_log_length
465
243
# We keep a reference to the log widget so we can remove it
466
244
# from the ListWalker without it getting destroyed
467
245
self.logbox = ConstrainedListBox(self.log)
469
247
# This keeps track of whether self.uilist currently has
470
248
# self.logbox in it or not
471
249
self.log_visible = True
472
self.log_wrap = "any"
474
self.loghandler = UILogHandler(self)
250
self.log_wrap = u"any"
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)
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),
488
296
def rebuild(self):
489
297
"""This rebuilds the User Interface.
490
298
Call this when the widget layout needs to change"""
492
# self.uilist.append(urwid.ListBox(self.clients))
493
self.uilist.append(urwid.Frame(ConstrainedListBox(self.
495
# header=urwid.Divider(),
300
#self.uilist.append(urwid.ListBox(self.clients))
301
self.uilist.append(urwid.Frame(ConstrainedListBox(self.clients),
302
#header=urwid.Divider(),
497
footer=urwid.Divider(
498
div_char=self.divider)))
304
footer=urwid.Divider(div_char=self.divider)))
499
305
if self.log_visible:
500
306
self.uilist.append(self.logbox)
501
308
self.topwidget = urwid.Pile(self.uilist)
503
def add_log_line(self, markup):
310
def log_message(self, markup):
311
"""Add a log message to the log buffer."""
504
312
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,
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]
512
317
def toggle_log_display(self):
513
318
"""Toggle visibility of the log buffer."""
514
319
self.log_visible = not self.log_visible
516
log.debug("Log visibility changed to: %s", self.log_visible)
321
self.log_message(u"Log visibility changed to: "
322
+ unicode(self.log_visible))
518
324
def change_log_display(self):
519
325
"""Change type of log display.
520
326
Currently, this toggles wrapping of text lines."""
521
if self.log_wrap == "clip":
522
self.log_wrap = "any"
327
if self.log_wrap == u"clip":
328
self.log_wrap = u"any"
524
self.log_wrap = "clip"
330
self.log_wrap = u"clip"
525
331
for textwidget in self.log:
526
332
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):
530
"""Find a client by its object path and remove it.
532
This is connected to the InterfacesRemoved signal from the
333
self.log_message(u"Wrap mode: " + self.log_wrap)
335
def find_and_remove_client(self, path, name):
336
"""Find an client from its object path and remove it.
338
This is connected to the ClientRemoved signal from the
533
339
Mandos server object."""
534
if client_interface not in interfaces:
535
# Not a Mandos client object; ignore
538
341
client = self.clients_dict[path]
541
log.warning("Unknown client %s removed", 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
345
self.remove_client(client, path)
347
def add_new_client(self, path, properties):
554
348
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])),
349
self.add_client(MandosClientWidget(server_proxy_object
352
=client_proxy_object,
353
properties=properties,
357
=self.remove_client),
563
360
def add_client(self, client, path=None):
564
361
self.clients.append(client)
566
363
path = client.proxy.object_path
567
364
self.clients_dict[path] = client
568
self.clients.sort(key=lambda c: c.properties["Name"])
365
self.clients.sort(None, lambda c: c.properties[u"name"])
571
368
def remove_client(self, client, path=None):
572
369
self.clients.remove(client)
574
371
path = client.proxy.object_path
575
372
del self.clients_dict[path]
373
if not self.clients_dict:
374
# Work around bug in Urwid 0.9.8.3 - if a SimpleListWalker
375
# is completely emptied, we need to recreate it.
376
self.clients = urwid.SimpleListWalker([])
578
380
def refresh(self):
579
381
"""Redraw the screen"""
580
382
canvas = self.topwidget.render(self.size, focus=True)
581
383
self.screen.draw_screen(self.size, canvas)
584
386
"""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
self.bus = dbus.SystemBus()
591
mandos_dbus_objc = self.bus.get_object(
592
self.busname, "/", follow_name_owner_changes=True)
593
self.mandos_serv = dbus.Interface(
594
mandos_dbus_objc, dbus_interface=server_interface)
596
mandos_clients = (self.mandos_serv
597
.GetAllClientsWithProperties())
598
if not mandos_clients:
599
log.warning("Note: Server has no clients.")
600
except dbus.exceptions.DBusException:
601
log.warning("Note: No Mandos server running.")
602
mandos_clients = dbus.Dictionary()
605
.connect_to_signal("InterfacesRemoved",
606
self.find_and_remove_client,
607
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
610
.connect_to_signal("InterfacesAdded",
612
dbus_interface=dbus.OBJECT_MANAGER_IFACE,
615
.connect_to_signal("ClientNotFound",
616
self.client_not_found,
617
dbus_interface=server_interface,
619
for path, client in mandos_clients.items():
620
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),
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)))
388
self._input_callback_tag = (gobject.io_add_watch
636
392
self.main_loop.run()
637
393
# 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)
394
gobject.source_remove(self._input_callback_tag)
644
398
self.main_loop.quit()
645
log.removeHandler(self.loghandler)
646
log.propagate = self.orig_log_propagate
648
400
def process_input(self, source, condition):
649
401
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
402
translations = { u"ctrl n": u"down", # Emacs
403
u"ctrl p": u"up", # Emacs
404
u"ctrl v": u"page down", # Emacs
405
u"meta v": u"page up", # Emacs
406
u" ": u"page down", # less
407
u"f": u"page down", # less
408
u"b": u"page up", # less
662
414
key = translations[key]
663
415
except KeyError: # :-)
666
if key == "q" or key == "Q":
418
if key == u"q" or key == u"Q":
669
elif key == "window resize":
421
elif key == u"window resize":
670
422
self.size = self.screen.get_cols_rows()
672
elif key == "ctrl l":
424
elif key == u"\f": # Ctrl-L
675
elif key == "l" or key == "D":
426
elif key == u"l" or key == u"D":
676
427
self.toggle_log_display()
678
elif key == "w" or key == "i":
429
elif key == u"w" or key == u"i":
679
430
self.change_log_display()
681
elif key == "?" or key == "f1" or key == "esc":
432
elif key == u"?" or key == u"f1":
682
433
if not self.log_visible:
683
434
self.log_visible = True
685
self.add_log_line(("bold",
688
"l: Log window toggle",
689
"TAB: Switch window",
690
"w: Wrap (log lines)",
691
"v: Toggle verbose log",
693
self.add_log_line(("bold",
694
" ".join(("Clients:",
698
"s: Start new checker",
436
self.log_message((u"bold",
437
u" ".join((u"q: Quit",
439
u"l: Log window toggle",
440
u"TAB: Switch window",
442
self.log_message((u"bold",
443
u" ".join((u"Clients:",
447
u"s: Start new checker",
706
452
if self.topwidget.get_focus() is self.logbox:
707
453
self.topwidget.set_focus(0)
709
455
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
457
#elif (key == u"end" or key == u"meta >" or key == u"G"
459
# pass # xxx end-of-buffer
460
#elif (key == u"home" or key == u"meta <" or key == u"g"
462
# pass # xxx beginning-of-buffer
463
#elif key == u"ctrl e" or key == u"$":
464
# pass # xxx move-end-of-line
465
#elif key == u"ctrl a" or key == u"^":
466
# pass # xxx move-beginning-of-line
467
#elif key == u"ctrl b" or key == u"meta (" or key == u"h":
469
#elif key == u"ctrl f" or key == u"meta )" or key == u"l":
472
# pass # scroll up log
474
# pass # scroll down log
736
475
elif self.topwidget.selectable():
737
476
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
480
ui = UserInterface()
758
except KeyboardInterrupt:
759
with warnings.catch_warnings():
760
warnings.filterwarnings("ignore", "", BytesWarning)
763
with warnings.catch_warnings():
764
warnings.filterwarnings("ignore", "", BytesWarning)