64
53
    "ApprovalDelay": "Approval Delay",
 
65
54
    "ApprovalDuration": "Approval Duration",
 
66
55
    "Checker": "Checker",
 
67
 
    "ExtendedTimeout": "Extended Timeout"
 
 
56
    "ExtendedTimeout" : "Extended Timeout"
 
69
58
defaultkeywords = ("Name", "Enabled", "Timeout", "LastCheckedOK")
 
70
59
domain = "se.recompile"
 
71
60
busname = domain + ".Mandos"
 
73
62
server_interface = domain + ".Mandos"
 
74
63
client_interface = domain + ".Mandos.Client"
 
79
 
    dbus.OBJECT_MANAGER_IFACE
 
80
 
except AttributeError:
 
81
 
    dbus.OBJECT_MANAGER_IFACE = "org.freedesktop.DBus.ObjectManager"
 
 
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))
 
83
72
def milliseconds_to_string(ms):
 
84
73
    td = datetime.timedelta(0, 0, 0, ms)
 
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}"
 
 
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,
 
188
81
def string_to_delta(interval):
 
189
82
    """Parse a string and return a datetime.timedelta
 
191
 
    >>> string_to_delta('7d')
 
 
84
    >>> string_to_delta("7d")
 
192
85
    datetime.timedelta(7)
 
193
 
    >>> string_to_delta('60s')
 
 
86
    >>> string_to_delta("60s")
 
194
87
    datetime.timedelta(0, 60)
 
195
 
    >>> string_to_delta('60m')
 
 
88
    >>> string_to_delta("60m")
 
196
89
    datetime.timedelta(0, 3600)
 
197
 
    >>> string_to_delta('24h')
 
 
90
    >>> string_to_delta("24h")
 
198
91
    datetime.timedelta(1)
 
199
 
    >>> string_to_delta('1w')
 
 
92
    >>> string_to_delta("1w")
 
200
93
    datetime.timedelta(7)
 
201
 
    >>> string_to_delta('5m 30s')
 
 
94
    >>> string_to_delta("5m 30s")
 
202
95
    datetime.timedelta(0, 330)
 
206
 
        return rfc3339_duration_to_delta(interval)
 
210
97
    value = datetime.timedelta(0)
 
211
 
    regexp = re.compile(r"(\d+)([dsmhw]?)")
 
 
98
    regexp = re.compile("(\d+)([dsmhw]?)")
 
213
100
    for num, suffix in regexp.findall(interval):
 
214
101
        if suffix == "d":
 
 
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 }
 
 
237
            mandos_clients = mandos_serv.GetAllClientsWithProperties()
 
366
240
            os.dup2(stderrcopy, sys.stderr.fileno())
 
367
241
            os.close(stderrcopy)
 
368
 
    except dbus.exceptions.DBusException as e:
 
369
 
        print("Access denied: Accessing mandos server through D-Bus: {}"
 
370
 
              .format(e), file=sys.stderr)
 
 
242
    except dbus.exceptions.DBusException:
 
 
243
        print("Access denied: Accessing mandos server through dbus.",
 
373
247
    # Compile dict of (clients: properties) to process
 
376
250
    if options.all or not options.client:
 
377
 
        clients = { bus.get_object(busname, path): properties
 
378
 
                    for path, properties in mandos_clients.items() }
 
 
251
        clients = dict((bus.get_object(busname, path), properties)
 
 
252
                       for path, properties in
 
 
253
                       mandos_clients.iteritems())
 
380
255
        for name in options.client:
 
381
 
            for path, client in mandos_clients.items():
 
 
256
            for path, client in mandos_clients.iteritems():
 
382
257
                if client["Name"] == name:
 
383
258
                    client_objc = bus.get_object(busname, path)
 
384
259
                    clients[client_objc] = client
 
387
 
                print("Client not found on server: {!r}"
 
 
262
                print("Client not found on server: {0!r}"
 
388
263
                      .format(name), file=sys.stderr)
 
391
266
    if not has_actions(options) and clients:
 
392
267
        if options.verbose:
 
393
 
            keywords = ("Name", "Enabled", "Timeout", "LastCheckedOK",
 
394
 
                        "Created", "Interval", "Host", "Fingerprint",
 
395
 
                        "CheckerRunning", "LastEnabled",
 
396
 
                        "ApprovalPending", "ApprovedByDefault",
 
 
268
            keywords = ("Name", "Enabled", "Timeout",
 
 
269
                        "LastCheckedOK", "Created", "Interval",
 
 
270
                        "Host", "Fingerprint", "CheckerRunning",
 
 
271
                        "LastEnabled", "ApprovalPending",
 
397
273
                        "LastApprovalRequest", "ApprovalDelay",
 
398
274
                        "ApprovalDuration", "Checker",
 
399
275
                        "ExtendedTimeout")