2
# -*- mode: python; coding: utf-8 -*-
4
from __future__ import division
2
# -*- mode: python; coding: utf-8; after-save-hook: (lambda () (let ((command (if (and (boundp 'tramp-file-name-structure) (string-match (car tramp-file-name-structure) (buffer-file-name))) (tramp-file-name-localname (tramp-dissect-file-name (buffer-file-name))) (buffer-file-name)))) (if (= (shell-command (format "%s --check" (shell-quote-argument command)) "*Test*") 0) (let ((w (get-buffer-window "*Test*"))) (if w (delete-window w)) (kill-buffer "*Test*")) (display-buffer "*Test*")))); -*-
4
# Mandos Monitor - Control and monitor the Mandos server
6
# Copyright © 2008-2019 Teddy Hogeborn
7
# Copyright © 2008-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>.
27
from __future__ import (division, absolute_import, print_function,
31
from future_builtins import *
7
from optparse import OptionParser
12
locale.setlocale(locale.LC_ALL, u'')
48
# Show warnings by default
49
if not sys.warnoptions:
51
warnings.simplefilter("default")
53
log = logging.getLogger(sys.argv[0])
54
logging.basicConfig(level="INFO", # Show info level messages
55
format="%(message)s") # Show basic log messages
57
logging.captureWarnings(True) # Show warnings via the logging system
59
if sys.version_info.major == 2:
62
locale.setlocale(locale.LC_ALL, "")
16
'enabled': u'Enabled',
17
'timeout': u'Timeout',
18
'last_checked_ok': u'Last Successful Check',
19
'created': u'Created',
20
'interval': u'Interval',
22
'fingerprint': u'Fingerprint',
23
'checker_running': u'Check Is Running',
24
'last_enabled': u'Last Enabled',
25
'checker': u'Checker',
27
defaultkeywords = ('name', 'enabled', 'timeout', 'last_checked_ok')
28
domain = 'se.bsnet.fukt'
29
busname = domain + '.Mandos'
31
server_interface = domain + '.Mandos'
32
client_interface = domain + '.Mandos.Client'
34
bus = dbus.SystemBus()
35
mandos_dbus_objc = bus.get_object(busname, server_path)
36
mandos_serv = dbus.Interface(mandos_dbus_objc,
37
dbus_interface = server_interface)
38
mandos_clients = mandos_serv.GetAllClientsWithProperties()
40
def timedelta_to_milliseconds(td):
41
"Convert a datetime.timedelta object to milliseconds"
42
return ((td.days * 24 * 60 * 60 * 1000)
44
+ (td.microseconds // 1000))
68
"LastCheckedOK": "Last Successful Check",
69
"LastApprovalRequest": "Last Approval Request",
71
"Interval": "Interval",
73
"Fingerprint": "Fingerprint",
75
"CheckerRunning": "Check Is Running",
76
"LastEnabled": "Last Enabled",
77
"ApprovalPending": "Approval Is Pending",
78
"ApprovedByDefault": "Approved By Default",
79
"ApprovalDelay": "Approval Delay",
80
"ApprovalDuration": "Approval Duration",
82
"ExtendedTimeout": "Extended Timeout",
84
"LastCheckerStatus": "Last Checker Status",
86
defaultkeywords = ("Name", "Enabled", "Timeout", "LastCheckedOK")
87
domain = "se.recompile"
88
busname = domain + ".Mandos"
90
server_interface = domain + ".Mandos"
91
client_interface = domain + ".Mandos.Client"
96
dbus.OBJECT_MANAGER_IFACE
97
except AttributeError:
98
dbus.OBJECT_MANAGER_IFACE = "org.freedesktop.DBus.ObjectManager"
46
101
def milliseconds_to_string(ms):
47
102
td = datetime.timedelta(0, 0, 0, ms)
48
return (u"%(days)s%(hours)02d:%(minutes)02d:%(seconds)02d"
49
% { "days": "%dT" % td.days if td.days else "",
50
"hours": td.seconds // 3600,
51
"minutes": (td.seconds % 3600) // 60,
52
"seconds": td.seconds % 60,
103
return ("{days}{hours:02}:{minutes:02}:{seconds:02}"
104
.format(days="{}T".format(td.days) if td.days else "",
105
hours=td.seconds // 3600,
106
minutes=(td.seconds % 3600) // 60,
107
seconds=td.seconds % 60))
110
def rfc3339_duration_to_delta(duration):
111
"""Parse an RFC 3339 "duration" and return a datetime.timedelta
113
>>> rfc3339_duration_to_delta("P7D")
114
datetime.timedelta(7)
115
>>> rfc3339_duration_to_delta("PT60S")
116
datetime.timedelta(0, 60)
117
>>> rfc3339_duration_to_delta("PT60M")
118
datetime.timedelta(0, 3600)
119
>>> rfc3339_duration_to_delta("P60M")
120
datetime.timedelta(1680)
121
>>> rfc3339_duration_to_delta("PT24H")
122
datetime.timedelta(1)
123
>>> rfc3339_duration_to_delta("P1W")
124
datetime.timedelta(7)
125
>>> rfc3339_duration_to_delta("PT5M30S")
126
datetime.timedelta(0, 330)
127
>>> rfc3339_duration_to_delta("P1DT3M20S")
128
datetime.timedelta(1, 200)
129
>>> # Can not be empty:
130
>>> rfc3339_duration_to_delta("")
131
Traceback (most recent call last):
133
ValueError: Invalid RFC 3339 duration: u''
134
>>> # Must start with "P":
135
>>> rfc3339_duration_to_delta("1D")
136
Traceback (most recent call last):
138
ValueError: Invalid RFC 3339 duration: u'1D'
139
>>> # Must use correct order
140
>>> rfc3339_duration_to_delta("PT1S2M")
141
Traceback (most recent call last):
143
ValueError: Invalid RFC 3339 duration: u'PT1S2M'
144
>>> # Time needs time marker
145
>>> rfc3339_duration_to_delta("P1H2S")
146
Traceback (most recent call last):
148
ValueError: Invalid RFC 3339 duration: u'P1H2S'
149
>>> # Weeks can not be combined with anything else
150
>>> rfc3339_duration_to_delta("P1D2W")
151
Traceback (most recent call last):
153
ValueError: Invalid RFC 3339 duration: u'P1D2W'
154
>>> rfc3339_duration_to_delta("P2W2H")
155
Traceback (most recent call last):
157
ValueError: Invalid RFC 3339 duration: u'P2W2H'
160
# Parsing an RFC 3339 duration with regular expressions is not
161
# possible - there would have to be multiple places for the same
162
# values, like seconds. The current code, while more esoteric, is
163
# cleaner without depending on a parsing library. If Python had a
164
# built-in library for parsing we would use it, but we'd like to
165
# avoid excessive use of external libraries.
167
# New type for defining tokens, syntax, and semantics all-in-one
168
Token = collections.namedtuple("Token", (
169
"regexp", # To match token; if "value" is not None, must have
170
# a "group" containing digits
171
"value", # datetime.timedelta or None
172
"followers")) # Tokens valid after this token
173
# RFC 3339 "duration" tokens, syntax, and semantics; taken from
174
# the "duration" ABNF definition in RFC 3339, Appendix A.
175
token_end = Token(re.compile(r"$"), None, frozenset())
176
token_second = Token(re.compile(r"(\d+)S"),
177
datetime.timedelta(seconds=1),
178
frozenset((token_end, )))
179
token_minute = Token(re.compile(r"(\d+)M"),
180
datetime.timedelta(minutes=1),
181
frozenset((token_second, token_end)))
182
token_hour = Token(re.compile(r"(\d+)H"),
183
datetime.timedelta(hours=1),
184
frozenset((token_minute, token_end)))
185
token_time = Token(re.compile(r"T"),
187
frozenset((token_hour, token_minute,
189
token_day = Token(re.compile(r"(\d+)D"),
190
datetime.timedelta(days=1),
191
frozenset((token_time, token_end)))
192
token_month = Token(re.compile(r"(\d+)M"),
193
datetime.timedelta(weeks=4),
194
frozenset((token_day, token_end)))
195
token_year = Token(re.compile(r"(\d+)Y"),
196
datetime.timedelta(weeks=52),
197
frozenset((token_month, token_end)))
198
token_week = Token(re.compile(r"(\d+)W"),
199
datetime.timedelta(weeks=1),
200
frozenset((token_end, )))
201
token_duration = Token(re.compile(r"P"), None,
202
frozenset((token_year, token_month,
203
token_day, token_time,
205
# Define starting values:
207
value = datetime.timedelta()
209
# Following valid tokens
210
followers = frozenset((token_duration, ))
211
# String left to parse
213
# Loop until end token is found
214
while found_token is not token_end:
215
# Search for any currently valid tokens
216
for token in followers:
217
match = token.regexp.match(s)
218
if match is not None:
220
if token.value is not None:
221
# Value found, parse digits
222
factor = int(match.group(1), 10)
223
# Add to value so far
224
value += factor * token.value
225
# Strip token from string
226
s = token.regexp.sub("", s, 1)
229
# Set valid next tokens
230
followers = found_token.followers
233
# No currently valid tokens were found
234
raise ValueError("Invalid RFC 3339 duration: {!r}"
56
240
def string_to_delta(interval):
57
241
"""Parse a string and return a datetime.timedelta
59
>>> string_to_delta('7d')
245
return rfc3339_duration_to_delta(interval)
246
except ValueError as e:
247
log.warning("%s - Parsing as pre-1.6.1 interval instead",
249
return parse_pre_1_6_1_interval(interval)
252
def parse_pre_1_6_1_interval(interval):
253
"""Parse an interval string as documented by Mandos before 1.6.1, and
254
return a datetime.timedelta
255
>>> parse_pre_1_6_1_interval('7d')
60
256
datetime.timedelta(7)
61
>>> string_to_delta('60s')
257
>>> parse_pre_1_6_1_interval('60s')
62
258
datetime.timedelta(0, 60)
63
>>> string_to_delta('60m')
259
>>> parse_pre_1_6_1_interval('60m')
64
260
datetime.timedelta(0, 3600)
65
>>> string_to_delta('24h')
261
>>> parse_pre_1_6_1_interval('24h')
66
262
datetime.timedelta(1)
67
>>> string_to_delta(u'1w')
263
>>> parse_pre_1_6_1_interval('1w')
68
264
datetime.timedelta(7)
69
>>> string_to_delta('5m 30s')
265
>>> parse_pre_1_6_1_interval('5m 30s')
70
266
datetime.timedelta(0, 330)
267
>>> parse_pre_1_6_1_interval('')
268
datetime.timedelta(0)
269
>>> # Ignore unknown characters, allow any order and repetitions
270
>>> parse_pre_1_6_1_interval('2dxy7zz11y3m5m')
271
datetime.timedelta(2, 480, 18000)
72
timevalue = datetime.timedelta(0)
73
regexp = re.compile("\d+[dsmhw]")
75
for s in regexp.findall(interval):
77
suffix = unicode(s[-1])
80
delta = datetime.timedelta(value)
82
delta = datetime.timedelta(0, value)
84
delta = datetime.timedelta(0, 0, 0, 0, value)
86
delta = datetime.timedelta(0, 0, 0, 0, 0, value)
88
delta = datetime.timedelta(0, 0, 0, 0, 0, 0, value)
91
except (ValueError, IndexError):
96
def print_clients(clients):
275
value = datetime.timedelta(0)
276
regexp = re.compile(r"(\d+)([dsmhw]?)")
278
for num, suffix in regexp.findall(interval):
280
value += datetime.timedelta(int(num))
282
value += datetime.timedelta(0, int(num))
284
value += datetime.timedelta(0, 0, 0, 0, int(num))
286
value += datetime.timedelta(0, 0, 0, 0, 0, int(num))
288
value += datetime.timedelta(0, 0, 0, 0, 0, 0, int(num))
290
value += datetime.timedelta(0, 0, 0, int(num))
294
def print_clients(clients, keywords):
97
295
def valuetostring(value, keyword):
98
if type(value) is dbus.Boolean:
99
return u"Yes" if value else u"No"
100
if keyword in (u"timeout", u"interval"):
296
if isinstance(value, dbus.Boolean):
297
return "Yes" if value else "No"
298
if keyword in ("Timeout", "Interval", "ApprovalDelay",
299
"ApprovalDuration", "ExtendedTimeout"):
101
300
return milliseconds_to_string(value)
102
return unicode(value)
104
303
# Create format string to print table rows
105
format_string = u' '.join(u'%%-%ds' %
106
max(len(tablewords[key]),
107
max(len(valuetostring(client[key], key))
304
format_string = " ".join("{{{key}:{width}}}".format(
305
width=max(len(tablewords[key]),
306
max(len(valuetostring(client[key], key))
307
for client in clients)),
111
310
# Print header line
112
print format_string % tuple(tablewords[key] for key in keywords)
311
print(format_string.format(**tablewords))
113
312
for client in clients:
114
print format_string % tuple(valuetostring(client[key], key)
117
parser = OptionParser(version = "%%prog %s" % version)
118
parser.add_option("-a", "--all", action="store_true",
119
help="Print all fields")
120
parser.add_option("-e", "--enable", action="store_true",
121
help="Enable client")
122
parser.add_option("-d", "--disable", action="store_true",
123
help="disable client")
124
parser.add_option("-b", "--bump-timeout", action="store_true",
125
help="Bump timeout for client")
126
parser.add_option("--start-checker", action="store_true",
127
help="Start checker for client")
128
parser.add_option("--stop-checker", action="store_true",
129
help="Stop checker for client")
130
parser.add_option("-V", "--is-enabled", action="store_true",
131
help="Check if client is enabled")
132
parser.add_option("-r", "--remove", action="store_true",
133
help="Remove client")
134
parser.add_option("-c", "--checker", type="string",
135
help="Set checker command for client")
136
parser.add_option("-t", "--timeout", type="string",
137
help="Set timeout for client")
138
parser.add_option("-i", "--interval", type="string",
139
help="Set checker interval for client")
140
parser.add_option("-H", "--host", type="string",
141
help="Set host for client")
142
parser.add_option("-s", "--secret", type="string",
143
help="Set password blob (file) for client")
144
options, client_names = parser.parse_args()
146
# Compile list of clients to process
148
for name in client_names:
149
for path, client in mandos_clients.iteritems():
150
if client['name'] == name:
151
client_objc = bus.get_object(busname, path)
152
clients.append(client_objc)
155
print >> sys.stderr, "Client not found on server: %r" % name
158
if not clients and mandos_clients.values():
159
keywords = defaultkeywords
161
keywords = ('name', 'enabled', 'timeout', 'last_checked_ok',
162
'created', 'interval', 'host', 'fingerprint',
163
'checker_running', 'last_enabled', 'checker')
164
print_clients(mandos_clients.values())
166
# Process each client in the list by all selected options
167
for client in clients:
169
mandos_serv.RemoveClient(client.__dbus_object_path__)
171
client.Enable(dbus_interface=client_interface)
173
client.Disable(dbus_interface=client_interface)
174
if options.bump_timeout:
175
client.CheckedOK(dbus_interface=client_interface)
176
if options.start_checker:
177
client.StartChecker(dbus_interface=client_interface)
178
if options.stop_checker:
179
client.StopChecker(dbus_interface=client_interface)
180
if options.is_enabled:
181
sys.exit(0 if client.Get(client_interface,
183
dbus_interface=dbus.PROPERTIES_IFACE)
186
client.Set(client_interface, u"checker", options.checker,
187
dbus_interface=dbus.PROPERTIES_IFACE)
189
client.Set(client_interface, u"host", options.host,
190
dbus_interface=dbus.PROPERTIES_IFACE)
192
client.Set(client_interface, u"interval",
193
timedelta_to_milliseconds
194
(string_to_delta(options.interval)),
195
dbus_interface=dbus.PROPERTIES_IFACE)
197
client.Set(client_interface, u"timeout",
198
timedelta_to_milliseconds(string_to_delta
200
dbus_interface=dbus.PROPERTIES_IFACE)
202
client.Set(client_interface, u"secret",
203
dbus.ByteArray(open(options.secret, u'rb').read()),
204
dbus_interface=dbus.PROPERTIES_IFACE)
314
.format(**{key: valuetostring(client[key], key)
315
for key in keywords}))
318
def has_actions(options):
319
return any((options.enable,
321
options.bump_timeout,
322
options.start_checker,
323
options.stop_checker,
326
options.checker is not None,
327
options.timeout is not None,
328
options.extended_timeout is not None,
329
options.interval is not None,
330
options.approved_by_default is not None,
331
options.approval_delay is not None,
332
options.approval_duration is not None,
333
options.host is not None,
334
options.secret is not None,
340
parser = argparse.ArgumentParser()
341
parser.add_argument("--version", action="version",
342
version="%(prog)s {}".format(version),
343
help="show version number and exit")
344
parser.add_argument("-a", "--all", action="store_true",
345
help="Select all clients")
346
parser.add_argument("-v", "--verbose", action="store_true",
347
help="Print all fields")
348
parser.add_argument("-j", "--dump-json", action="store_true",
349
help="Dump client data in JSON format")
350
parser.add_argument("-e", "--enable", action="store_true",
351
help="Enable client")
352
parser.add_argument("-d", "--disable", action="store_true",
353
help="disable client")
354
parser.add_argument("-b", "--bump-timeout", action="store_true",
355
help="Bump timeout for client")
356
parser.add_argument("--start-checker", action="store_true",
357
help="Start checker for client")
358
parser.add_argument("--stop-checker", action="store_true",
359
help="Stop checker for client")
360
parser.add_argument("-V", "--is-enabled", action="store_true",
361
help="Check if client is enabled")
362
parser.add_argument("-r", "--remove", action="store_true",
363
help="Remove client")
364
parser.add_argument("-c", "--checker",
365
help="Set checker command for client")
366
parser.add_argument("-t", "--timeout",
367
help="Set timeout for client")
368
parser.add_argument("--extended-timeout",
369
help="Set extended timeout for client")
370
parser.add_argument("-i", "--interval",
371
help="Set checker interval for client")
372
parser.add_argument("--approve-by-default", action="store_true",
373
default=None, dest="approved_by_default",
374
help="Set client to be approved by default")
375
parser.add_argument("--deny-by-default", action="store_false",
376
dest="approved_by_default",
377
help="Set client to be denied by default")
378
parser.add_argument("--approval-delay",
379
help="Set delay before client approve/deny")
380
parser.add_argument("--approval-duration",
381
help="Set duration of one client approval")
382
parser.add_argument("-H", "--host", help="Set host for client")
383
parser.add_argument("-s", "--secret",
384
type=argparse.FileType(mode="rb"),
385
help="Set password blob (file) for client")
386
parser.add_argument("-A", "--approve", action="store_true",
387
help="Approve any current client request")
388
parser.add_argument("-D", "--deny", action="store_true",
389
help="Deny any current client request")
390
parser.add_argument("--check", action="store_true",
391
help="Run self-test")
392
parser.add_argument("client", nargs="*", help="Client name")
393
options = parser.parse_args()
395
if has_actions(options) and not (options.client or options.all):
396
parser.error("Options require clients names or --all.")
397
if options.verbose and has_actions(options):
398
parser.error("--verbose can only be used alone.")
399
if options.dump_json and (options.verbose
400
or has_actions(options)):
401
parser.error("--dump-json can only be used alone.")
402
if options.all and not has_actions(options):
403
parser.error("--all requires an action.")
406
bus = dbus.SystemBus()
407
mandos_dbus_objc = bus.get_object(busname, server_path)
408
except dbus.exceptions.DBusException:
409
log.critical("Could not connect to Mandos server")
412
mandos_serv = dbus.Interface(mandos_dbus_objc,
413
dbus_interface=server_interface)
414
mandos_serv_object_manager = dbus.Interface(
415
mandos_dbus_objc, dbus_interface=dbus.OBJECT_MANAGER_IFACE)
417
# block stderr since dbus library prints to stderr
418
null = os.open(os.path.devnull, os.O_RDWR)
419
stderrcopy = os.dup(sys.stderr.fileno())
420
os.dup2(null, sys.stderr.fileno())
424
mandos_clients = {path: ifs_and_props[client_interface]
425
for path, ifs_and_props in
426
mandos_serv_object_manager
427
.GetManagedObjects().items()
428
if client_interface in ifs_and_props}
431
os.dup2(stderrcopy, sys.stderr.fileno())
433
except dbus.exceptions.DBusException as e:
434
log.critical("Failed to access Mandos server through D-Bus:"
438
# Compile dict of (clients: properties) to process
441
if options.all or not options.client:
442
clients = {bus.get_object(busname, path): properties
443
for path, properties in mandos_clients.items()}
445
for name in options.client:
446
for path, client in mandos_clients.items():
447
if client["Name"] == name:
448
client_objc = bus.get_object(busname, path)
449
clients[client_objc] = client
452
log.critical("Client not found on server: %r", name)
455
if not has_actions(options) and clients:
456
if options.verbose or options.dump_json:
457
keywords = ("Name", "Enabled", "Timeout", "LastCheckedOK",
458
"Created", "Interval", "Host", "KeyID",
459
"Fingerprint", "CheckerRunning",
460
"LastEnabled", "ApprovalPending",
461
"ApprovedByDefault", "LastApprovalRequest",
462
"ApprovalDelay", "ApprovalDuration",
463
"Checker", "ExtendedTimeout", "Expires",
466
keywords = defaultkeywords
468
if options.dump_json:
469
json.dump({client["Name"]: {key:
471
if isinstance(client[key],
475
for client in clients.values()},
476
fp=sys.stdout, indent=4,
477
separators=(',', ': '))
480
print_clients(clients.values(), keywords)
482
# Process each client in the list by all selected options
483
for client in clients:
485
def set_client_prop(prop, value):
486
"""Set a Client D-Bus property"""
487
client.Set(client_interface, prop, value,
488
dbus_interface=dbus.PROPERTIES_IFACE)
490
def set_client_prop_ms(prop, value):
491
"""Set a Client D-Bus property, converted
492
from a string to milliseconds."""
493
set_client_prop(prop,
494
string_to_delta(value).total_seconds()
498
mandos_serv.RemoveClient(client.__dbus_object_path__)
500
set_client_prop("Enabled", dbus.Boolean(True))
502
set_client_prop("Enabled", dbus.Boolean(False))
503
if options.bump_timeout:
504
set_client_prop("LastCheckedOK", "")
505
if options.start_checker:
506
set_client_prop("CheckerRunning", dbus.Boolean(True))
507
if options.stop_checker:
508
set_client_prop("CheckerRunning", dbus.Boolean(False))
509
if options.is_enabled:
510
if client.Get(client_interface, "Enabled",
511
dbus_interface=dbus.PROPERTIES_IFACE):
515
if options.checker is not None:
516
set_client_prop("Checker", options.checker)
517
if options.host is not None:
518
set_client_prop("Host", options.host)
519
if options.interval is not None:
520
set_client_prop_ms("Interval", options.interval)
521
if options.approval_delay is not None:
522
set_client_prop_ms("ApprovalDelay",
523
options.approval_delay)
524
if options.approval_duration is not None:
525
set_client_prop_ms("ApprovalDuration",
526
options.approval_duration)
527
if options.timeout is not None:
528
set_client_prop_ms("Timeout", options.timeout)
529
if options.extended_timeout is not None:
530
set_client_prop_ms("ExtendedTimeout",
531
options.extended_timeout)
532
if options.secret is not None:
533
set_client_prop("Secret",
534
dbus.ByteArray(options.secret.read()))
535
if options.approved_by_default is not None:
536
set_client_prop("ApprovedByDefault",
538
.approved_by_default))
540
client.Approve(dbus.Boolean(True),
541
dbus_interface=client_interface)
543
client.Approve(dbus.Boolean(False),
544
dbus_interface=client_interface)
547
class Test_milliseconds_to_string(unittest.TestCase):
549
self.assertEqual(milliseconds_to_string(93785000),
551
def test_no_days(self):
552
self.assertEqual(milliseconds_to_string(7385000), "02:03:05")
553
def test_all_zero(self):
554
self.assertEqual(milliseconds_to_string(0), "00:00:00")
555
def test_no_fractional_seconds(self):
556
self.assertEqual(milliseconds_to_string(400), "00:00:00")
557
self.assertEqual(milliseconds_to_string(900), "00:00:00")
558
self.assertEqual(milliseconds_to_string(1900), "00:00:01")
561
def should_only_run_tests():
562
parser = argparse.ArgumentParser(add_help=False)
563
parser.add_argument("--check", action='store_true')
564
args, unknown_args = parser.parse_known_args()
565
run_tests = args.check
567
# Remove --check argument from sys.argv
568
sys.argv[1:] = unknown_args
571
# Add all tests from doctest strings
572
def load_tests(loader, tests, none):
574
tests.addTests(doctest.DocTestSuite())
577
if __name__ == "__main__":
578
if should_only_run_tests():
579
# Call using ./tdd-python-script --check [--verbose]