4
4
# Mandos Monitor - Control and monitor the Mandos server
6
# Copyright © 2008-2012 Teddy Hogeborn
7
# Copyright © 2008-2012 Björn Påhlsson
6
# Copyright © 2008-2015 Teddy Hogeborn
7
# Copyright © 2008-2015 Björn Påhlsson
9
9
# This program is free software: you can redistribute it and/or modify
10
10
# it under the terms of the GNU General Public License as published by
58
64
"ApprovalDelay": "Approval Delay",
59
65
"ApprovalDuration": "Approval Duration",
60
66
"Checker": "Checker",
61
"ExtendedTimeout" : "Extended Timeout"
67
"ExtendedTimeout": "Extended Timeout"
63
69
defaultkeywords = ("Name", "Enabled", "Timeout", "LastCheckedOK")
64
70
domain = "se.recompile"
65
71
busname = domain + ".Mandos"
67
73
server_interface = domain + ".Mandos"
68
74
client_interface = domain + ".Mandos.Client"
71
def timedelta_to_milliseconds(td):
72
"""Convert a datetime.timedelta object to milliseconds"""
73
return ((td.days * 24 * 60 * 60 * 1000)
75
+ (td.microseconds // 1000))
77
78
def milliseconds_to_string(ms):
78
79
td = datetime.timedelta(0, 0, 0, ms)
79
return ("{days}{hours:02}:{minutes:02}:{seconds:02}"
80
.format(days = "{0}T".format(td.days) if td.days else "",
81
hours = td.seconds // 3600,
82
minutes = (td.seconds % 3600) // 60,
83
seconds = td.seconds % 60,
80
return ("{days}{hours:02}:{minutes:02}:{seconds:02}".format(
81
days = "{}T".format(td.days) if td.days else "",
82
hours = td.seconds // 3600,
83
minutes = (td.seconds % 3600) // 60,
84
seconds = td.seconds % 60))
87
87
def rfc3339_duration_to_delta(duration):
88
"""Parse a RFC 3339 "duration" and return a datetime.timedelta
88
"""Parse an RFC 3339 "duration" and return a datetime.timedelta
90
90
>>> rfc3339_duration_to_delta("P7D")
91
91
datetime.timedelta(7)
103
103
datetime.timedelta(1, 200)
106
# Parsing a RFC 3339 duration with regular expressions is not
106
# Parsing an RFC 3339 duration with regular expressions is not
107
107
# possible - there would have to be multiple places for the same
108
# values, like seconds. This, while more esoteric, is cleaner
109
# without depending on a parsing library. If Python had a
108
# values, like seconds. The current code, while more esoteric, is
109
# cleaner without depending on a parsing library. If Python had a
110
110
# built-in library for parsing we would use it, but we'd like to
111
111
# avoid excessive use of external libraries.
113
113
# New type for defining tokens, syntax, and semantics all-in-one
114
Token = collections.namedtuple("Token",
115
("regexp", # To match token; if
116
# "value" is not None,
117
# must have a "group"
119
"value", # datetime.timedelta or
121
"followers")) # Tokens valid after
114
Token = collections.namedtuple("Token", (
115
"regexp", # To match token; if "value" is not None, must have
116
# a "group" containing digits
117
"value", # datetime.timedelta or None
118
"followers")) # Tokens valid after this token
123
119
# RFC 3339 "duration" tokens, syntax, and semantics; taken from
124
120
# the "duration" ABNF definition in RFC 3339, Appendix A.
125
121
token_end = Token(re.compile(r"$"), None, frozenset())
126
122
token_second = Token(re.compile(r"(\d+)S"),
127
123
datetime.timedelta(seconds=1),
128
frozenset((token_end,)))
124
frozenset((token_end, )))
129
125
token_minute = Token(re.compile(r"(\d+)M"),
130
126
datetime.timedelta(minutes=1),
131
127
frozenset((token_second, token_end)))
147
143
frozenset((token_month, token_end)))
148
144
token_week = Token(re.compile(r"(\d+)W"),
149
145
datetime.timedelta(weeks=1),
150
frozenset((token_end,)))
146
frozenset((token_end, )))
151
147
token_duration = Token(re.compile(r"P"), None,
152
148
frozenset((token_year, token_month,
153
149
token_day, token_time,
155
151
# Define starting values
156
152
value = datetime.timedelta() # Value so far
157
153
found_token = None
158
followers = frozenset(token_duration,) # Following valid tokens
154
followers = frozenset((token_duration, )) # Following valid tokens
159
155
s = duration # String left to parse
160
156
# Loop until end token is found
161
157
while found_token is not token_end:
186
183
def string_to_delta(interval):
187
184
"""Parse a string and return a datetime.timedelta
189
>>> string_to_delta("7d")
186
>>> string_to_delta('7d')
190
187
datetime.timedelta(7)
191
>>> string_to_delta("60s")
188
>>> string_to_delta('60s')
192
189
datetime.timedelta(0, 60)
193
>>> string_to_delta("60m")
190
>>> string_to_delta('60m')
194
191
datetime.timedelta(0, 3600)
195
>>> string_to_delta("24h")
192
>>> string_to_delta('24h')
196
193
datetime.timedelta(1)
197
>>> string_to_delta("1w")
194
>>> string_to_delta('1w')
198
195
datetime.timedelta(7)
199
>>> string_to_delta("5m 30s")
196
>>> string_to_delta('5m 30s')
200
197
datetime.timedelta(0, 330)
202
value = datetime.timedelta(0)
203
regexp = re.compile(r"(\d+)([dsmhw]?)")
206
201
return rfc3339_duration_to_delta(interval)
207
202
except ValueError:
205
value = datetime.timedelta(0)
206
regexp = re.compile(r"(\d+)([dsmhw]?)")
210
208
for num, suffix in regexp.findall(interval):
211
209
if suffix == "d":
212
210
value += datetime.timedelta(int(num))
222
220
value += datetime.timedelta(0, 0, 0, int(num))
225
224
def print_clients(clients, keywords):
226
225
def valuetostring(value, keyword):
227
226
if type(value) is dbus.Boolean:
229
228
if keyword in ("Timeout", "Interval", "ApprovalDelay",
230
229
"ApprovalDuration", "ExtendedTimeout"):
231
230
return milliseconds_to_string(value)
232
return unicode(value)
234
233
# Create format string to print table rows
235
234
format_string = " ".join("{{{key}:{width}}}".format(
236
width = max(len(tablewords[key]),
237
max(len(valuetostring(client[key],
241
key = key) for key in keywords)
235
width = max(len(tablewords[key]),
236
max(len(valuetostring(client[key], key))
237
for client in clients)),
242
240
# Print header line
243
241
print(format_string.format(**tablewords))
244
242
for client in clients:
245
print(format_string.format(**dict((key,
246
valuetostring(client[key],
248
for key in keywords)))
243
print(format_string.format(**{
244
key: valuetostring(client[key], key)
245
for key in keywords }))
250
248
def has_actions(options):
251
249
return any((options.enable,
271
270
parser = argparse.ArgumentParser()
272
271
parser.add_argument("--version", action="version",
273
version = "%(prog)s {0}".format(version),
272
version = "%(prog)s {}".format(version),
274
273
help="show version number and exit")
275
274
parser.add_argument("-a", "--all", action="store_true",
276
275
help="Select all clients")
309
308
parser.add_argument("--approval-duration",
310
309
help="Set duration of one client approval")
311
310
parser.add_argument("-H", "--host", help="Set host for client")
312
parser.add_argument("-s", "--secret", type=file,
311
parser.add_argument("-s", "--secret",
312
type=argparse.FileType(mode="rb"),
313
313
help="Set password blob (file) for client")
314
314
parser.add_argument("-A", "--approve", action="store_true",
315
315
help="Approve any current client request")
331
331
if options.check:
332
332
fail_count, test_count = doctest.testmod()
333
sys.exit(0 if fail_count == 0 else 1)
333
sys.exit(os.EX_OK if fail_count == 0 else 1)
336
336
bus = dbus.SystemBus()
337
337
mandos_dbus_objc = bus.get_object(busname, server_path)
338
338
except dbus.exceptions.DBusException:
339
print("Could not connect to Mandos server",
339
print("Could not connect to Mandos server", file=sys.stderr)
343
342
mandos_serv = dbus.Interface(mandos_dbus_objc,
366
365
if options.all or not options.client:
367
clients = dict((bus.get_object(busname, path), properties)
368
for path, properties in
369
mandos_clients.iteritems())
366
clients = { bus.get_object(busname, path): properties
367
for path, properties in mandos_clients.items() }
371
369
for name in options.client:
372
for path, client in mandos_clients.iteritems():
370
for path, client in mandos_clients.items():
373
371
if client["Name"] == name:
374
372
client_objc = bus.get_object(busname, path)
375
373
clients[client_objc] = client
378
print("Client not found on server: {0!r}"
376
print("Client not found on server: {!r}"
379
377
.format(name), file=sys.stderr)
382
380
if not has_actions(options) and clients:
383
381
if options.verbose:
384
keywords = ("Name", "Enabled", "Timeout",
385
"LastCheckedOK", "Created", "Interval",
386
"Host", "Fingerprint", "CheckerRunning",
387
"LastEnabled", "ApprovalPending",
382
keywords = ("Name", "Enabled", "Timeout", "LastCheckedOK",
383
"Created", "Interval", "Host", "Fingerprint",
384
"CheckerRunning", "LastEnabled",
385
"ApprovalPending", "ApprovedByDefault",
389
386
"LastApprovalRequest", "ApprovalDelay",
390
387
"ApprovalDuration", "Checker",
391
388
"ExtendedTimeout")
397
394
# Process each client in the list by all selected options
398
395
for client in clients:
399
397
def set_client_prop(prop, value):
400
398
"""Set a Client D-Bus property"""
401
399
client.Set(client_interface, prop, value,
402
400
dbus_interface=dbus.PROPERTIES_IFACE)
403
402
def set_client_prop_ms(prop, value):
404
403
"""Set a Client D-Bus property, converted
405
404
from a string to milliseconds."""
406
405
set_client_prop(prop,
407
timedelta_to_milliseconds
408
(string_to_delta(value)))
406
string_to_delta(value).total_seconds()
409
409
if options.remove:
410
410
mandos_serv.RemoveClient(client.__dbus_object_path__)
411
411
if options.enable: