53
64
    "ApprovalDelay": "Approval Delay",
 
54
65
    "ApprovalDuration": "Approval Duration",
 
55
66
    "Checker": "Checker",
 
56
 
    "ExtendedTimeout" : "Extended Timeout"
 
 
67
    "ExtendedTimeout": "Extended Timeout"
 
58
69
defaultkeywords = ("Name", "Enabled", "Timeout", "LastCheckedOK")
 
59
70
domain = "se.recompile"
 
60
71
busname = domain + ".Mandos"
 
62
73
server_interface = domain + ".Mandos"
 
63
74
client_interface = domain + ".Mandos.Client"
 
66
 
def timedelta_to_milliseconds(td):
 
67
 
    """Convert a datetime.timedelta object to milliseconds"""
 
68
 
    return ((td.days * 24 * 60 * 60 * 1000)
 
70
 
            + (td.microseconds // 1000))
 
 
79
    dbus.OBJECT_MANAGER_IFACE
 
 
80
except AttributeError:
 
 
81
    dbus.OBJECT_MANAGER_IFACE = "org.freedesktop.DBus.ObjectManager"
 
72
83
def milliseconds_to_string(ms):
 
73
84
    td = datetime.timedelta(0, 0, 0, ms)
 
74
 
    return ("{days}{hours:02}:{minutes:02}:{seconds:02}"
 
75
 
            .format(days = "{0}T".format(td.days) if td.days else "",
 
76
 
                    hours = td.seconds // 3600,
 
77
 
                    minutes = (td.seconds % 3600) // 60,
 
78
 
                    seconds = td.seconds % 60,
 
 
85
    return ("{days}{hours:02}:{minutes:02}:{seconds:02}".format(
 
 
86
        days = "{}T".format(td.days) if td.days else "",
 
 
87
        hours = td.seconds // 3600,
 
 
88
        minutes = (td.seconds % 3600) // 60,
 
 
89
        seconds = td.seconds % 60))
 
 
92
def rfc3339_duration_to_delta(duration):
 
 
93
    """Parse an RFC 3339 "duration" and return a datetime.timedelta
 
 
95
    >>> rfc3339_duration_to_delta("P7D")
 
 
97
    >>> rfc3339_duration_to_delta("PT60S")
 
 
98
    datetime.timedelta(0, 60)
 
 
99
    >>> rfc3339_duration_to_delta("PT60M")
 
 
100
    datetime.timedelta(0, 3600)
 
 
101
    >>> rfc3339_duration_to_delta("PT24H")
 
 
102
    datetime.timedelta(1)
 
 
103
    >>> rfc3339_duration_to_delta("P1W")
 
 
104
    datetime.timedelta(7)
 
 
105
    >>> rfc3339_duration_to_delta("PT5M30S")
 
 
106
    datetime.timedelta(0, 330)
 
 
107
    >>> rfc3339_duration_to_delta("P1DT3M20S")
 
 
108
    datetime.timedelta(1, 200)
 
 
111
    # Parsing an RFC 3339 duration with regular expressions is not
 
 
112
    # possible - there would have to be multiple places for the same
 
 
113
    # values, like seconds.  The current code, while more esoteric, is
 
 
114
    # cleaner without depending on a parsing library.  If Python had a
 
 
115
    # built-in library for parsing we would use it, but we'd like to
 
 
116
    # avoid excessive use of external libraries.
 
 
118
    # New type for defining tokens, syntax, and semantics all-in-one
 
 
119
    Token = collections.namedtuple("Token", (
 
 
120
        "regexp",  # To match token; if "value" is not None, must have
 
 
121
                   # a "group" containing digits
 
 
122
        "value",   # datetime.timedelta or None
 
 
123
        "followers"))           # Tokens valid after this token
 
 
124
    # RFC 3339 "duration" tokens, syntax, and semantics; taken from
 
 
125
    # the "duration" ABNF definition in RFC 3339, Appendix A.
 
 
126
    token_end = Token(re.compile(r"$"), None, frozenset())
 
 
127
    token_second = Token(re.compile(r"(\d+)S"),
 
 
128
                         datetime.timedelta(seconds=1),
 
 
129
                         frozenset((token_end, )))
 
 
130
    token_minute = Token(re.compile(r"(\d+)M"),
 
 
131
                         datetime.timedelta(minutes=1),
 
 
132
                         frozenset((token_second, token_end)))
 
 
133
    token_hour = Token(re.compile(r"(\d+)H"),
 
 
134
                       datetime.timedelta(hours=1),
 
 
135
                       frozenset((token_minute, token_end)))
 
 
136
    token_time = Token(re.compile(r"T"),
 
 
138
                       frozenset((token_hour, token_minute,
 
 
140
    token_day = Token(re.compile(r"(\d+)D"),
 
 
141
                      datetime.timedelta(days=1),
 
 
142
                      frozenset((token_time, token_end)))
 
 
143
    token_month = Token(re.compile(r"(\d+)M"),
 
 
144
                        datetime.timedelta(weeks=4),
 
 
145
                        frozenset((token_day, token_end)))
 
 
146
    token_year = Token(re.compile(r"(\d+)Y"),
 
 
147
                       datetime.timedelta(weeks=52),
 
 
148
                       frozenset((token_month, token_end)))
 
 
149
    token_week = Token(re.compile(r"(\d+)W"),
 
 
150
                       datetime.timedelta(weeks=1),
 
 
151
                       frozenset((token_end, )))
 
 
152
    token_duration = Token(re.compile(r"P"), None,
 
 
153
                           frozenset((token_year, token_month,
 
 
154
                                      token_day, token_time,
 
 
156
    # Define starting values
 
 
157
    value = datetime.timedelta() # Value so far
 
 
159
    followers = frozenset((token_duration, )) # Following valid tokens
 
 
160
    s = duration                # String left to parse
 
 
161
    # Loop until end token is found
 
 
162
    while found_token is not token_end:
 
 
163
        # Search for any currently valid tokens
 
 
164
        for token in followers:
 
 
165
            match = token.regexp.match(s)
 
 
166
            if match is not None:
 
 
168
                if token.value is not None:
 
 
169
                    # Value found, parse digits
 
 
170
                    factor = int(match.group(1), 10)
 
 
171
                    # Add to value so far
 
 
172
                    value += factor * token.value
 
 
173
                # Strip token from string
 
 
174
                s = token.regexp.sub("", s, 1)
 
 
177
                # Set valid next tokens
 
 
178
                followers = found_token.followers
 
 
181
            # No currently valid tokens were found
 
 
182
            raise ValueError("Invalid RFC 3339 duration: {!r}"
 
81
188
def string_to_delta(interval):
 
82
189
    """Parse a string and return a datetime.timedelta
 
84
 
    >>> string_to_delta("7d")
 
 
191
    >>> string_to_delta('7d')
 
85
192
    datetime.timedelta(7)
 
86
 
    >>> string_to_delta("60s")
 
 
193
    >>> string_to_delta('60s')
 
87
194
    datetime.timedelta(0, 60)
 
88
 
    >>> string_to_delta("60m")
 
 
195
    >>> string_to_delta('60m')
 
89
196
    datetime.timedelta(0, 3600)
 
90
 
    >>> string_to_delta("24h")
 
 
197
    >>> string_to_delta('24h')
 
91
198
    datetime.timedelta(1)
 
92
 
    >>> string_to_delta("1w")
 
 
199
    >>> string_to_delta('1w')
 
93
200
    datetime.timedelta(7)
 
94
 
    >>> string_to_delta("5m 30s")
 
 
201
    >>> string_to_delta('5m 30s')
 
95
202
    datetime.timedelta(0, 330)
 
 
206
        return rfc3339_duration_to_delta(interval)
 
97
210
    value = datetime.timedelta(0)
 
98
 
    regexp = re.compile("(\d+)([dsmhw]?)")
 
 
211
    regexp = re.compile(r"(\d+)([dsmhw]?)")
 
100
213
    for num, suffix in regexp.findall(interval):
 
101
214
        if suffix == "d":
 
 
237
 
            mandos_clients = mandos_serv.GetAllClientsWithProperties()
 
 
359
            mandos_clients = { path: ifs_and_props[client_interface]
 
 
360
                               for path, ifs_and_props in
 
 
361
                               mandos_serv_object_manager
 
 
362
                               .GetManagedObjects().items()
 
 
363
                               if client_interface in ifs_and_props }
 
240
366
            os.dup2(stderrcopy, sys.stderr.fileno())
 
241
367
            os.close(stderrcopy)
 
242
 
    except dbus.exceptions.DBusException:
 
243
 
        print("Access denied: Accessing mandos server through dbus.",
 
 
368
    except dbus.exceptions.DBusException as e:
 
 
369
        print("Access denied: Accessing mandos server through D-Bus: {}"
 
 
370
              .format(e), file=sys.stderr)
 
247
373
    # Compile dict of (clients: properties) to process
 
250
376
    if options.all or not options.client:
 
251
 
        clients = dict((bus.get_object(busname, path), properties)
 
252
 
                       for path, properties in
 
253
 
                       mandos_clients.iteritems())
 
 
377
        clients = { bus.get_object(busname, path): properties
 
 
378
                    for path, properties in mandos_clients.items() }
 
255
380
        for name in options.client:
 
256
 
            for path, client in mandos_clients.iteritems():
 
 
381
            for path, client in mandos_clients.items():
 
257
382
                if client["Name"] == name:
 
258
383
                    client_objc = bus.get_object(busname, path)
 
259
384
                    clients[client_objc] = client
 
262
 
                print("Client not found on server: {0!r}"
 
 
387
                print("Client not found on server: {!r}"
 
263
388
                      .format(name), file=sys.stderr)
 
266
391
    if not has_actions(options) and clients:
 
267
392
        if options.verbose:
 
268
 
            keywords = ("Name", "Enabled", "Timeout",
 
269
 
                        "LastCheckedOK", "Created", "Interval",
 
270
 
                        "Host", "Fingerprint", "CheckerRunning",
 
271
 
                        "LastEnabled", "ApprovalPending",
 
 
393
            keywords = ("Name", "Enabled", "Timeout", "LastCheckedOK",
 
 
394
                        "Created", "Interval", "Host", "Fingerprint",
 
 
395
                        "CheckerRunning", "LastEnabled",
 
 
396
                        "ApprovalPending", "ApprovedByDefault",
 
273
397
                        "LastApprovalRequest", "ApprovalDelay",
 
274
398
                        "ApprovalDuration", "Checker",
 
275
399
                        "ExtendedTimeout")