426
451
def entry_group_state_changed(self, state, error):
427
452
"""Derived from the Avahi example code"""
428
logger.debug("Avahi entry group state change: %i", state)
453
log.debug("Avahi entry group state change: %i", state)
430
455
if state == avahi.ENTRY_GROUP_ESTABLISHED:
431
logger.debug("Zeroconf service established.")
456
log.debug("Zeroconf service established.")
432
457
elif state == avahi.ENTRY_GROUP_COLLISION:
433
logger.info("Zeroconf service name collision.")
458
log.info("Zeroconf service name collision.")
435
460
elif state == avahi.ENTRY_GROUP_FAILURE:
436
logger.critical("Avahi: Error in group state changed %s",
461
log.critical("Avahi: Error in group state changed %s",
438
463
raise AvahiGroupError("State changed: {!s}".format(error))
440
465
def cleanup(self):
470
495
except dbus.exceptions.DBusException as error:
471
496
if (error.get_dbus_name()
472
497
== "org.freedesktop.Avahi.CollisionError"):
473
logger.info("Local Zeroconf service name"
498
log.info("Local Zeroconf service name collision.")
475
499
return self.rename(remove=False)
477
logger.critical("D-Bus Exception", exc_info=error)
501
log.critical("D-Bus Exception", exc_info=error)
481
505
if error is None:
482
logger.debug("Unknown state: %r", state)
506
log.debug("Unknown state: %r", state)
484
logger.debug("Unknown state: %r: %r", state, error)
508
log.debug("Unknown state: %r: %r", state, error)
486
510
def activate(self):
487
511
"""Derived from the Avahi example code"""
568
593
# gnutls.strerror()
570
595
if message is None and code is not None:
571
message = gnutls.strerror(code)
596
message = gnutls.strerror(code).decode(
597
"utf-8", errors="replace")
572
598
return super(gnutls.Error, self).__init__(
575
601
class CertificateSecurityError(Error):
605
def __init__(self, cls):
608
def from_param(self, obj):
609
if not isinstance(obj, self.cls):
610
raise TypeError("Not of type {}: {!r}"
611
.format(self.cls.__name__, obj))
612
return ctypes.byref(obj.from_param(obj))
614
class CastToVoidPointer:
615
def __init__(self, cls):
618
def from_param(self, obj):
619
if not isinstance(obj, self.cls):
620
raise TypeError("Not of type {}: {!r}"
621
.format(self.cls.__name__, obj))
622
return ctypes.cast(obj.from_param(obj), ctypes.c_void_p)
624
class With_from_param:
626
def from_param(cls, obj):
627
return obj._as_parameter_
579
class Credentials(object):
630
class Credentials(With_from_param):
580
631
def __init__(self):
581
self._c_object = gnutls.certificate_credentials_t()
582
gnutls.certificate_allocate_credentials(
583
ctypes.byref(self._c_object))
632
self._as_parameter_ = gnutls.certificate_credentials_t()
633
gnutls.certificate_allocate_credentials(self)
584
634
self.type = gnutls.CRD_CERTIFICATE
586
636
def __del__(self):
587
gnutls.certificate_free_credentials(self._c_object)
637
gnutls.certificate_free_credentials(self)
589
class ClientSession(object):
639
class ClientSession(With_from_param):
590
640
def __init__(self, socket, credentials=None):
591
self._c_object = gnutls.session_t()
641
self._as_parameter_ = gnutls.session_t()
592
642
gnutls_flags = gnutls.CLIENT
593
643
if gnutls.check_version(b"3.5.6"):
594
644
gnutls_flags |= gnutls.NO_TICKETS
595
645
if gnutls.has_rawpk:
596
646
gnutls_flags |= gnutls.ENABLE_RAWPK
597
gnutls.init(ctypes.byref(self._c_object), gnutls_flags)
647
gnutls.init(self, gnutls_flags)
599
gnutls.set_default_priority(self._c_object)
600
gnutls.transport_set_ptr(self._c_object, socket.fileno())
601
gnutls.handshake_set_private_extensions(self._c_object,
649
gnutls.set_default_priority(self)
650
gnutls.transport_set_ptr(self, socket.fileno())
651
gnutls.handshake_set_private_extensions(self, True)
603
652
self.socket = socket
604
653
if credentials is None:
605
654
credentials = gnutls.Credentials()
606
gnutls.credentials_set(self._c_object, credentials.type,
607
ctypes.cast(credentials._c_object,
655
gnutls.credentials_set(self, credentials.type,
609
657
self.credentials = credentials
611
659
def __del__(self):
612
gnutls.deinit(self._c_object)
614
662
def handshake(self):
615
return gnutls.handshake(self._c_object)
663
return gnutls.handshake(self)
617
665
def send(self, data):
618
666
data = bytes(data)
619
667
data_len = len(data)
620
668
while data_len > 0:
621
data_len -= gnutls.record_send(self._c_object,
669
data_len -= gnutls.record_send(self, data[-data_len:],
626
return gnutls.bye(self._c_object, gnutls.SHUT_RDWR)
673
return gnutls.bye(self, gnutls.SHUT_RDWR)
628
675
# Error handling functions
629
676
def _error_code(result):
630
677
"""A function to raise exceptions on errors, suitable
631
for the 'restype' attribute on ctypes functions"""
678
for the "restype" attribute on ctypes functions"""
679
if result >= gnutls.E_SUCCESS:
634
681
if result == gnutls.E_NO_CERTIFICATE_FOUND:
635
682
raise gnutls.CertificateSecurityError(code=result)
636
683
raise gnutls.Error(code=result)
638
def _retry_on_error(result, func, arguments):
685
def _retry_on_error(result, func, arguments,
686
_error_code=_error_code):
639
687
"""A function to retry on some errors, suitable
640
for the 'errcheck' attribute on ctypes functions"""
688
for the "errcheck" attribute on ctypes functions"""
689
while result < gnutls.E_SUCCESS:
642
690
if result not in (gnutls.E_INTERRUPTED, gnutls.E_AGAIN):
643
691
return _error_code(result)
644
692
result = func(*arguments)
651
699
priority_set_direct = _library.gnutls_priority_set_direct
652
priority_set_direct.argtypes = [session_t, ctypes.c_char_p,
700
priority_set_direct.argtypes = [ClientSession, ctypes.c_char_p,
653
701
ctypes.POINTER(ctypes.c_char_p)]
654
702
priority_set_direct.restype = _error_code
656
704
init = _library.gnutls_init
657
init.argtypes = [ctypes.POINTER(session_t), ctypes.c_int]
705
init.argtypes = [PointerTo(ClientSession), ctypes.c_int]
658
706
init.restype = _error_code
660
708
set_default_priority = _library.gnutls_set_default_priority
661
set_default_priority.argtypes = [session_t]
709
set_default_priority.argtypes = [ClientSession]
662
710
set_default_priority.restype = _error_code
664
712
record_send = _library.gnutls_record_send
665
record_send.argtypes = [session_t, ctypes.c_void_p,
713
record_send.argtypes = [ClientSession, ctypes.c_void_p,
667
715
record_send.restype = ctypes.c_ssize_t
668
716
record_send.errcheck = _retry_on_error
670
718
certificate_allocate_credentials = (
671
719
_library.gnutls_certificate_allocate_credentials)
672
720
certificate_allocate_credentials.argtypes = [
673
ctypes.POINTER(certificate_credentials_t)]
721
PointerTo(Credentials)]
674
722
certificate_allocate_credentials.restype = _error_code
676
724
certificate_free_credentials = (
677
725
_library.gnutls_certificate_free_credentials)
678
certificate_free_credentials.argtypes = [
679
certificate_credentials_t]
726
certificate_free_credentials.argtypes = [Credentials]
680
727
certificate_free_credentials.restype = None
682
729
handshake_set_private_extensions = (
683
730
_library.gnutls_handshake_set_private_extensions)
684
handshake_set_private_extensions.argtypes = [session_t,
731
handshake_set_private_extensions.argtypes = [ClientSession,
686
733
handshake_set_private_extensions.restype = None
688
735
credentials_set = _library.gnutls_credentials_set
689
credentials_set.argtypes = [session_t, credentials_type_t,
736
credentials_set.argtypes = [ClientSession, credentials_type_t,
737
CastToVoidPointer(Credentials)]
691
738
credentials_set.restype = _error_code
693
740
strerror = _library.gnutls_strerror
712
759
global_set_log_function.restype = None
714
761
deinit = _library.gnutls_deinit
715
deinit.argtypes = [session_t]
762
deinit.argtypes = [ClientSession]
716
763
deinit.restype = None
718
765
handshake = _library.gnutls_handshake
719
handshake.argtypes = [session_t]
720
handshake.restype = _error_code
766
handshake.argtypes = [ClientSession]
767
handshake.restype = ctypes.c_int
721
768
handshake.errcheck = _retry_on_error
723
770
transport_set_ptr = _library.gnutls_transport_set_ptr
724
transport_set_ptr.argtypes = [session_t, transport_ptr_t]
771
transport_set_ptr.argtypes = [ClientSession, transport_ptr_t]
725
772
transport_set_ptr.restype = None
727
774
bye = _library.gnutls_bye
728
bye.argtypes = [session_t, close_request_t]
729
bye.restype = _error_code
775
bye.argtypes = [ClientSession, close_request_t]
776
bye.restype = ctypes.c_int
730
777
bye.errcheck = _retry_on_error
732
779
check_version = _library.gnutls_check_version
1102
1155
if self.checker is not None and not self.checker.is_alive():
1103
logger.warning("Checker was not alive; joining")
1156
log.warning("Checker was not alive; joining")
1104
1157
self.checker.join()
1105
1158
self.checker = None
1106
1159
# Start a new checker if needed
1107
1160
if self.checker is None:
1108
1161
# Escape attributes for the shell
1109
1162
escaped_attrs = {
1110
attr: re.escape(str(getattr(self, attr)))
1163
attr: shlex.quote(str(getattr(self, attr)))
1111
1164
for attr in self.runtime_expansions}
1113
1166
command = self.checker_command % escaped_attrs
1114
1167
except TypeError as error:
1115
logger.error('Could not format string "%s"',
1116
self.checker_command,
1168
log.error('Could not format string "%s"',
1169
self.checker_command, exc_info=error)
1118
1170
return True # Try again later
1119
1171
self.current_checker_command = command
1120
logger.info("Starting checker %r for %s", command,
1172
log.info("Starting checker %r for %s", command, self.name)
1122
1173
# We don't need to redirect stdout and stderr, since
1123
1174
# in normal mode, that is already done by daemon(),
1124
1175
# and in debug mode we don't want to. (Stdin is
2216
class ProxyClient(object):
2217
2268
def __init__(self, child_pipe, key_id, fpr, address):
2218
2269
self._pipe = child_pipe
2219
self._pipe.send(('init', key_id, fpr, address))
2270
self._pipe.send(("init", key_id, fpr, address))
2220
2271
if not self._pipe.recv():
2221
2272
raise KeyError(key_id or fpr)
2223
2274
def __getattribute__(self, name):
2225
2276
return super(ProxyClient, self).__getattribute__(name)
2226
self._pipe.send(('getattr', name))
2277
self._pipe.send(("getattr", name))
2227
2278
data = self._pipe.recv()
2228
if data[0] == 'data':
2279
if data[0] == "data":
2230
if data[0] == 'function':
2281
if data[0] == "function":
2232
2283
def func(*args, **kwargs):
2233
self._pipe.send(('funcall', name, args, kwargs))
2284
self._pipe.send(("funcall", name, args, kwargs))
2234
2285
return self._pipe.recv()[1]
2238
2289
def __setattr__(self, name, value):
2240
2291
return super(ProxyClient, self).__setattr__(name, value)
2241
self._pipe.send(('setattr', name, value))
2292
self._pipe.send(("setattr", name, value))
2244
2295
class ClientHandler(socketserver.BaseRequestHandler, object):
2250
2301
def handle(self):
2251
2302
with contextlib.closing(self.server.child_pipe) as child_pipe:
2252
logger.info("TCP connection from: %s",
2253
str(self.client_address))
2254
logger.debug("Pipe FD: %d",
2255
self.server.child_pipe.fileno())
2303
log.info("TCP connection from: %s",
2304
str(self.client_address))
2305
log.debug("Pipe FD: %d", self.server.child_pipe.fileno())
2257
2307
session = gnutls.ClientSession(self.request)
2259
# priority = ':'.join(("NONE", "+VERS-TLS1.1",
2309
# priority = ":".join(("NONE", "+VERS-TLS1.1",
2260
2310
# "+AES-256-CBC", "+SHA1",
2261
2311
# "+COMP-NULL", "+CTYPE-OPENPGP",
2264
2314
priority = self.server.gnutls_priority
2265
2315
if priority is None:
2266
2316
priority = "NORMAL"
2267
gnutls.priority_set_direct(session._c_object,
2268
priority.encode("utf-8"),
2317
gnutls.priority_set_direct(session,
2318
priority.encode("utf-8"), None)
2271
2320
# Start communication using the Mandos protocol
2272
2321
# Get protocol number
2273
2322
line = self.request.makefile().readline()
2274
logger.debug("Protocol version: %r", line)
2323
log.debug("Protocol version: %r", line)
2276
2325
if int(line.strip().split()[0]) > 1:
2277
2326
raise RuntimeError(line)
2278
2327
except (ValueError, IndexError, RuntimeError) as error:
2279
logger.error("Unknown protocol version: %s", error)
2328
log.error("Unknown protocol version: %s", error)
2282
2331
# Start GnuTLS connection
2284
2333
session.handshake()
2285
2334
except gnutls.Error as error:
2286
logger.warning("Handshake failed: %s", error)
2335
log.warning("Handshake failed: %s", error)
2287
2336
# Do not run session.bye() here: the session is not
2288
2337
# established. Just abandon the request.
2290
logger.debug("Handshake succeeded")
2339
log.debug("Handshake succeeded")
2292
2341
approval_required = False
2392
2441
except gnutls.Error as error:
2393
logger.warning("GnuTLS bye failed",
2442
log.warning("GnuTLS bye failed", exc_info=error)
2397
2445
def peer_certificate(session):
2398
2446
"Return the peer's certificate as a bytestring"
2400
cert_type = gnutls.certificate_type_get2(session._c_object,
2448
cert_type = gnutls.certificate_type_get2(
2449
session, gnutls.CTYPE_PEERS)
2402
2450
except AttributeError:
2403
cert_type = gnutls.certificate_type_get(session._c_object)
2451
cert_type = gnutls.certificate_type_get(session)
2404
2452
if gnutls.has_rawpk:
2405
2453
valid_cert_types = frozenset((gnutls.CRT_RAWPK,))
2407
2455
valid_cert_types = frozenset((gnutls.CRT_OPENPGP,))
2408
2456
# If not a valid certificate type...
2409
2457
if cert_type not in valid_cert_types:
2410
logger.info("Cert type %r not in %r", cert_type,
2458
log.info("Cert type %r not in %r", cert_type,
2412
2460
# ...return invalid data
2414
2462
list_size = ctypes.c_uint(1)
2415
2463
cert_list = (gnutls.certificate_get_peers
2416
(session._c_object, ctypes.byref(list_size)))
2464
(session, ctypes.byref(list_size)))
2417
2465
if not bool(cert_list) and list_size.value != 0:
2418
2466
raise gnutls.Error("error getting peer certificate")
2419
2467
if list_size.value == 0:
2597
2646
(self.interface + "\0").encode("utf-8"))
2598
2647
except socket.error as error:
2599
2648
if error.errno == errno.EPERM:
2600
logger.error("No permission to bind to"
2601
" interface %s", self.interface)
2649
log.error("No permission to bind to interface %s",
2602
2651
elif error.errno == errno.ENOPROTOOPT:
2603
logger.error("SO_BINDTODEVICE not available;"
2604
" cannot bind to interface %s",
2652
log.error("SO_BINDTODEVICE not available; cannot"
2653
" bind to interface %s", self.interface)
2606
2654
elif error.errno == errno.ENODEV:
2607
logger.error("Interface %s does not exist,"
2608
" cannot bind", self.interface)
2655
log.error("Interface %s does not exist, cannot"
2656
" bind", self.interface)
2611
2659
# Only bind(2) the socket if we really need to.
2754
2803
def rfc3339_duration_to_delta(duration):
2755
2804
"""Parse an RFC 3339 "duration" and return a datetime.timedelta
2757
>>> rfc3339_duration_to_delta("P7D")
2758
datetime.timedelta(7)
2759
>>> rfc3339_duration_to_delta("PT60S")
2760
datetime.timedelta(0, 60)
2761
>>> rfc3339_duration_to_delta("PT60M")
2762
datetime.timedelta(0, 3600)
2763
>>> rfc3339_duration_to_delta("PT24H")
2764
datetime.timedelta(1)
2765
>>> rfc3339_duration_to_delta("P1W")
2766
datetime.timedelta(7)
2767
>>> rfc3339_duration_to_delta("PT5M30S")
2768
datetime.timedelta(0, 330)
2769
>>> rfc3339_duration_to_delta("P1DT3M20S")
2770
datetime.timedelta(1, 200)
2806
>>> timedelta = datetime.timedelta
2807
>>> rfc3339_duration_to_delta("P7D") == timedelta(7)
2809
>>> rfc3339_duration_to_delta("PT60S") == timedelta(0, 60)
2811
>>> rfc3339_duration_to_delta("PT60M") == timedelta(0, 3600)
2813
>>> rfc3339_duration_to_delta("PT24H") == timedelta(1)
2815
>>> rfc3339_duration_to_delta("P1W") == timedelta(7)
2817
>>> rfc3339_duration_to_delta("PT5M30S") == timedelta(0, 330)
2819
>>> rfc3339_duration_to_delta("P1DT3M20S") == timedelta(1, 200)
2773
2824
# Parsing an RFC 3339 duration with regular expressions is not
2853
2904
def string_to_delta(interval):
2854
2905
"""Parse a string and return a datetime.timedelta
2856
>>> string_to_delta('7d')
2857
datetime.timedelta(7)
2858
>>> string_to_delta('60s')
2859
datetime.timedelta(0, 60)
2860
>>> string_to_delta('60m')
2861
datetime.timedelta(0, 3600)
2862
>>> string_to_delta('24h')
2863
datetime.timedelta(1)
2864
>>> string_to_delta('1w')
2865
datetime.timedelta(7)
2866
>>> string_to_delta('5m 30s')
2867
datetime.timedelta(0, 330)
2907
>>> string_to_delta("7d") == datetime.timedelta(7)
2909
>>> string_to_delta("60s") == datetime.timedelta(0, 60)
2911
>>> string_to_delta("60m") == datetime.timedelta(0, 3600)
2913
>>> string_to_delta("24h") == datetime.timedelta(1)
2915
>>> string_to_delta("1w") == datetime.timedelta(7)
2917
>>> string_to_delta("5m 30s") == datetime.timedelta(0, 330)
3262
3307
for key, value in
3263
3308
bytes_old_client_settings.items()}
3264
3309
del bytes_old_client_settings
3310
# .host and .checker_command
3266
3311
for value in old_client_settings.values():
3267
if isinstance(value["host"], bytes):
3268
value["host"] = (value["host"]
3312
for attribute in ("host", "checker_command"):
3313
if isinstance(value[attribute], bytes):
3314
value[attribute] = (value[attribute]
3270
3316
os.remove(stored_state_path)
3271
3317
except IOError as e:
3272
3318
if e.errno == errno.ENOENT:
3273
logger.warning("Could not load persistent state:"
3274
" {}".format(os.strerror(e.errno)))
3319
log.warning("Could not load persistent state:"
3320
" %s", os.strerror(e.errno))
3276
logger.critical("Could not load persistent state:",
3322
log.critical("Could not load persistent state:",
3279
3325
except EOFError as e:
3280
logger.warning("Could not load persistent state: "
3326
log.warning("Could not load persistent state: EOFError:",
3284
3329
with PGPEngine() as pgp:
3285
3330
for client_name, client in clients_data.items():
3312
3357
if client["enabled"]:
3313
3358
if datetime.datetime.utcnow() >= client["expires"]:
3314
3359
if not client["last_checked_ok"]:
3316
"disabling client {} - Client never "
3317
"performed a successful checker".format(
3360
log.warning("disabling client %s - Client"
3361
" never performed a successful"
3362
" checker", client_name)
3319
3363
client["enabled"] = False
3320
3364
elif client["last_checker_status"] != 0:
3322
"disabling client {} - Client last"
3323
" checker failed with error code"
3326
client["last_checker_status"]))
3365
log.warning("disabling client %s - Client"
3366
" last checker failed with error"
3367
" code %s", client_name,
3368
client["last_checker_status"])
3327
3369
client["enabled"] = False
3329
3371
client["expires"] = (
3330
3372
datetime.datetime.utcnow()
3331
3373
+ client["timeout"])
3332
logger.debug("Last checker succeeded,"
3333
" keeping {} enabled".format(
3374
log.debug("Last checker succeeded, keeping %s"
3375
" enabled", client_name)
3336
3377
client["secret"] = pgp.decrypt(
3337
3378
client["encrypted_secret"],
3338
3379
client_settings[client_name]["secret"])
3339
3380
except PGPError:
3340
3381
# If decryption fails, we use secret from new settings
3341
logger.debug("Failed to decrypt {} old secret".format(
3382
log.debug("Failed to decrypt %s old secret",
3343
3384
client["secret"] = (client_settings[client_name]
3578
3619
service.port = tcp_server.socket.getsockname()[1]
3580
logger.info("Now listening on address %r, port %d,"
3581
" flowinfo %d, scope_id %d",
3582
*tcp_server.socket.getsockname())
3621
log.info("Now listening on address %r, port %d, flowinfo %d,"
3622
" scope_id %d", *tcp_server.socket.getsockname())
3584
logger.info("Now listening on address %r, port %d",
3585
*tcp_server.socket.getsockname())
3624
log.info("Now listening on address %r, port %d",
3625
*tcp_server.socket.getsockname())
3587
3627
# service.interface = tcp_server.socket.getsockname()[3]
3593
3633
service.activate()
3594
3634
except dbus.exceptions.DBusException as error:
3595
logger.critical("D-Bus Exception", exc_info=error)
3635
log.critical("D-Bus Exception", exc_info=error)
3598
3638
# End of Avahi example code
3600
GLib.io_add_watch(tcp_server.fileno(), GLib.IO_IN,
3601
lambda *args, **kwargs:
3602
(tcp_server.handle_request
3603
(*args[2:], **kwargs) or True))
3641
GLib.IOChannel.unix_new(tcp_server.fileno()),
3642
GLib.PRIORITY_DEFAULT, GLib.IO_IN,
3643
lambda *args, **kwargs: (tcp_server.handle_request
3644
(*args[2:], **kwargs) or True))
3605
logger.debug("Starting main loop")
3646
log.debug("Starting main loop")
3606
3647
main_loop.run()
3607
3648
except AvahiError as error:
3608
logger.critical("Avahi Error", exc_info=error)
3649
log.critical("Avahi Error", exc_info=error)
3611
3652
except KeyboardInterrupt:
3613
3654
print("", file=sys.stderr)
3614
logger.debug("Server received KeyboardInterrupt")
3615
logger.debug("Server exiting")
3655
log.debug("Server received KeyboardInterrupt")
3656
log.debug("Server exiting")
3616
3657
# Must run before the D-Bus bus name gets deregistered
3620
if __name__ == '__main__':
3661
def parse_test_args():
3662
# type: () -> argparse.Namespace
3663
parser = argparse.ArgumentParser(add_help=False)
3664
parser.add_argument("--check", action="store_true")
3665
parser.add_argument("--prefix", )
3666
args, unknown_args = parser.parse_known_args()
3668
# Remove test options from sys.argv
3669
sys.argv[1:] = unknown_args
3672
# Add all tests from doctest strings
3673
def load_tests(loader, tests, none):
3675
tests.addTests(doctest.DocTestSuite())
3678
if __name__ == "__main__":
3679
options = parse_test_args()
3682
extra_test_prefix = options.prefix
3683
if extra_test_prefix is not None:
3684
if not (unittest.main(argv=[""], exit=False)
3685
.result.wasSuccessful()):
3687
class ExtraTestLoader(unittest.TestLoader):
3688
testMethodPrefix = extra_test_prefix
3689
# Call using ./scriptname --test [--verbose]
3690
unittest.main(argv=[""], testLoader=ExtraTestLoader())
3692
unittest.main(argv=[""])
3700
# (lambda (&optional extra)
3701
# (if (not (funcall run-tests-in-test-buffer default-directory
3703
# (funcall show-test-buffer-in-test-window)
3704
# (funcall remove-test-window)
3705
# (if extra (message "Extra tests run successfully!"))))
3706
# run-tests-in-test-buffer:
3707
# (lambda (dir &optional extra)
3708
# (with-current-buffer (get-buffer-create "*Test*")
3709
# (setq buffer-read-only nil
3710
# default-directory dir)
3712
# (compilation-mode))
3713
# (let ((process-result
3714
# (let ((inhibit-read-only t))
3715
# (process-file-shell-command
3716
# (funcall get-command-line extra) nil "*Test*"))))
3717
# (and (numberp process-result)
3718
# (= process-result 0))))
3720
# (lambda (&optional extra)
3721
# (let ((quoted-script
3722
# (shell-quote-argument (funcall get-script-name))))
3724
# (concat "%s --check" (if extra " --prefix=atest" ""))
3728
# (if (fboundp 'file-local-name)
3729
# (file-local-name (buffer-file-name))
3730
# (or (file-remote-p (buffer-file-name) 'localname)
3731
# (buffer-file-name))))
3732
# remove-test-window:
3734
# (let ((test-window (get-buffer-window "*Test*")))
3735
# (if test-window (delete-window test-window))))
3736
# show-test-buffer-in-test-window:
3738
# (when (not (get-buffer-window-list "*Test*"))
3739
# (setq next-error-last-buffer (get-buffer "*Test*"))
3740
# (let* ((side (if (>= (window-width) 146) 'right 'bottom))
3741
# (display-buffer-overriding-action
3742
# `((display-buffer-in-side-window) (side . ,side)
3743
# (window-height . fit-window-to-buffer)
3744
# (window-width . fit-window-to-buffer))))
3745
# (display-buffer "*Test*"))))
3748
# (let* ((run-extra-tests (lambda () (interactive)
3749
# (funcall run-tests t)))
3750
# (inner-keymap `(keymap (116 . ,run-extra-tests))) ; t
3751
# (outer-keymap `(keymap (3 . ,inner-keymap)))) ; C-c
3752
# (setq minor-mode-overriding-map-alist
3753
# (cons `(run-tests . ,outer-keymap)
3754
# minor-mode-overriding-map-alist)))
3755
# (add-hook 'after-save-hook run-tests 90 t))