423
523
class AvahiServiceToSyslog(AvahiService):
424
524
def rename(self, *args, **kwargs):
425
525
"""Add the new name to the syslog messages"""
426
ret = AvahiService.rename(self, *args, **kwargs)
526
ret = super(AvahiServiceToSyslog, self).rename(*args,
427
528
syslogger.setFormatter(logging.Formatter(
428
'Mandos ({}) [%(process)d]: %(levelname)s: %(message)s'
529
"Mandos ({}) [%(process)d]: %(levelname)s: %(message)s"
429
530
.format(self.name)))
432
534
# Pretend that we have a GnuTLS module
433
class GnuTLS(object):
434
"""This isn't so much a class as it is a module-like namespace.
435
It is instantiated once, and simulates having a GnuTLS module."""
437
_library = ctypes.cdll.LoadLibrary(
438
ctypes.util.find_library("gnutls"))
439
_need_version = "3.3.0"
441
# Need to use class name "GnuTLS" here, since this method is
442
# called before the assignment to the "gnutls" global variable
444
if GnuTLS.check_version(self._need_version) is None:
445
raise GnuTLS.Error("Needs GnuTLS {} or later"
446
.format(self._need_version))
536
"""This isn't so much a class as it is a module-like namespace."""
538
library = ctypes.util.find_library("gnutls")
540
library = ctypes.util.find_library("gnutls-deb0")
541
_library = ctypes.cdll.LoadLibrary(library)
448
544
# Unless otherwise indicated, the constants and types below are
449
545
# all from the gnutls/gnutls.h C header file.
456
555
CRD_CERTIFICATE = 1
457
556
E_NO_CERTIFICATE_FOUND = -49
561
KEYID_USE_SHA256 = 1 # gnutls/x509.h
458
562
OPENPGP_FMT_RAW = 0 # gnutls/openpgp.h
461
class session_int(ctypes.Structure):
565
class _session_int(ctypes.Structure):
463
session_t = ctypes.POINTER(session_int)
567
session_t = ctypes.POINTER(_session_int)
464
569
class certificate_credentials_st(ctypes.Structure):
466
571
certificate_credentials_t = ctypes.POINTER(
467
572
certificate_credentials_st)
468
573
certificate_type_t = ctypes.c_int
469
575
class datum_t(ctypes.Structure):
470
_fields_ = [('data', ctypes.POINTER(ctypes.c_ubyte)),
471
('size', ctypes.c_uint)]
472
class openpgp_crt_int(ctypes.Structure):
576
_fields_ = [("data", ctypes.POINTER(ctypes.c_ubyte)),
577
("size", ctypes.c_uint)]
579
class _openpgp_crt_int(ctypes.Structure):
474
openpgp_crt_t = ctypes.POINTER(openpgp_crt_int)
475
openpgp_crt_fmt_t = ctypes.c_int # gnutls/openpgp.h
581
openpgp_crt_t = ctypes.POINTER(_openpgp_crt_int)
582
openpgp_crt_fmt_t = ctypes.c_int # gnutls/openpgp.h
476
583
log_func = ctypes.CFUNCTYPE(None, ctypes.c_int, ctypes.c_char_p)
477
credentials_type_t = ctypes.c_int #
584
credentials_type_t = ctypes.c_int
478
585
transport_ptr_t = ctypes.c_void_p
479
586
close_request_t = ctypes.c_int
482
589
class Error(Exception):
483
# We need to use the class name "GnuTLS" here, since this
484
# exception might be raised from within GnuTLS.__init__,
485
# which is called before the assignment to the "gnutls"
486
# global variable happens.
487
def __init__(self, message = None, code = None, args=()):
590
def __init__(self, message=None, code=None, args=()):
488
591
# Default usage is by a message string, but if a return
489
592
# code is passed, convert it to a string with
490
593
# gnutls.strerror()
491
595
if message is None and code is not None:
492
message = GnuTLS.strerror(code)
493
return super(GnuTLS.Error, self).__init__(
596
message = gnutls.strerror(code).decode(
597
"utf-8", errors="replace")
598
return super(gnutls.Error, self).__init__(
496
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_
500
class Credentials(object):
630
class Credentials(With_from_param):
501
631
def __init__(self):
502
self._c_object = gnutls.certificate_credentials_t()
503
gnutls.certificate_allocate_credentials(
504
ctypes.byref(self._c_object))
632
self._as_parameter_ = gnutls.certificate_credentials_t()
633
gnutls.certificate_allocate_credentials(self)
505
634
self.type = gnutls.CRD_CERTIFICATE
507
636
def __del__(self):
508
gnutls.certificate_free_credentials(self._c_object)
510
class ClientSession(object):
511
def __init__(self, socket, credentials = None):
512
self._c_object = gnutls.session_t()
513
gnutls.init(ctypes.byref(self._c_object), gnutls.CLIENT)
514
gnutls.set_default_priority(self._c_object)
515
gnutls.transport_set_ptr(self._c_object, socket.fileno())
516
gnutls.handshake_set_private_extensions(self._c_object,
637
gnutls.certificate_free_credentials(self)
639
class ClientSession(With_from_param):
640
def __init__(self, socket, credentials=None):
641
self._as_parameter_ = gnutls.session_t()
642
gnutls_flags = gnutls.CLIENT
643
if gnutls.check_version(b"3.5.6"):
644
gnutls_flags |= gnutls.NO_TICKETS
646
gnutls_flags |= gnutls.ENABLE_RAWPK
647
gnutls.init(self, gnutls_flags)
649
gnutls.set_default_priority(self)
650
gnutls.transport_set_ptr(self, socket.fileno())
651
gnutls.handshake_set_private_extensions(self, True)
518
652
self.socket = socket
519
653
if credentials is None:
520
654
credentials = gnutls.Credentials()
521
gnutls.credentials_set(self._c_object, credentials.type,
522
ctypes.cast(credentials._c_object,
655
gnutls.credentials_set(self, credentials.type,
524
657
self.credentials = credentials
526
659
def __del__(self):
527
gnutls.deinit(self._c_object)
529
662
def handshake(self):
530
return gnutls.handshake(self._c_object)
663
return gnutls.handshake(self)
532
665
def send(self, data):
533
666
data = bytes(data)
536
return gnutls.record_send(self._c_object, data, len(data))
669
data_len -= gnutls.record_send(self, data[-data_len:],
539
return gnutls.bye(self._c_object, gnutls.SHUT_RDWR)
541
# Error handling function
673
return gnutls.bye(self, gnutls.SHUT_RDWR)
675
# Error handling functions
542
676
def _error_code(result):
543
677
"""A function to raise exceptions on errors, suitable
544
for the 'restype' attribute on ctypes functions"""
678
for the "restype" attribute on ctypes functions"""
679
if result >= gnutls.E_SUCCESS:
547
681
if result == gnutls.E_NO_CERTIFICATE_FOUND:
548
raise gnutls.CertificateSecurityError(code = result)
549
raise gnutls.Error(code = result)
682
raise gnutls.CertificateSecurityError(code=result)
683
raise gnutls.Error(code=result)
685
def _retry_on_error(result, func, arguments,
686
_error_code=_error_code):
687
"""A function to retry on some errors, suitable
688
for the "errcheck" attribute on ctypes functions"""
689
while result < gnutls.E_SUCCESS:
690
if result not in (gnutls.E_INTERRUPTED, gnutls.E_AGAIN):
691
return _error_code(result)
692
result = func(*arguments)
551
695
# Unless otherwise indicated, the function declarations below are
552
696
# all from the gnutls/gnutls.h C header file.
555
699
priority_set_direct = _library.gnutls_priority_set_direct
556
priority_set_direct.argtypes = [session_t, ctypes.c_char_p,
700
priority_set_direct.argtypes = [ClientSession, ctypes.c_char_p,
557
701
ctypes.POINTER(ctypes.c_char_p)]
558
702
priority_set_direct.restype = _error_code
560
704
init = _library.gnutls_init
561
init.argtypes = [ctypes.POINTER(session_t), ctypes.c_int]
705
init.argtypes = [PointerTo(ClientSession), ctypes.c_int]
562
706
init.restype = _error_code
564
708
set_default_priority = _library.gnutls_set_default_priority
565
set_default_priority.argtypes = [session_t]
709
set_default_priority.argtypes = [ClientSession]
566
710
set_default_priority.restype = _error_code
568
712
record_send = _library.gnutls_record_send
569
record_send.argtypes = [session_t, ctypes.c_void_p,
713
record_send.argtypes = [ClientSession, ctypes.c_void_p,
571
715
record_send.restype = ctypes.c_ssize_t
716
record_send.errcheck = _retry_on_error
573
718
certificate_allocate_credentials = (
574
719
_library.gnutls_certificate_allocate_credentials)
575
720
certificate_allocate_credentials.argtypes = [
576
ctypes.POINTER(certificate_credentials_t)]
721
PointerTo(Credentials)]
577
722
certificate_allocate_credentials.restype = _error_code
579
724
certificate_free_credentials = (
580
725
_library.gnutls_certificate_free_credentials)
581
certificate_free_credentials.argtypes = [certificate_credentials_t]
726
certificate_free_credentials.argtypes = [Credentials]
582
727
certificate_free_credentials.restype = None
584
729
handshake_set_private_extensions = (
585
730
_library.gnutls_handshake_set_private_extensions)
586
handshake_set_private_extensions.argtypes = [session_t,
731
handshake_set_private_extensions.argtypes = [ClientSession,
588
733
handshake_set_private_extensions.restype = None
590
735
credentials_set = _library.gnutls_credentials_set
591
credentials_set.argtypes = [session_t, credentials_type_t,
736
credentials_set.argtypes = [ClientSession, credentials_type_t,
737
CastToVoidPointer(Credentials)]
593
738
credentials_set.restype = _error_code
595
740
strerror = _library.gnutls_strerror
596
741
strerror.argtypes = [ctypes.c_int]
597
742
strerror.restype = ctypes.c_char_p
599
744
certificate_type_get = _library.gnutls_certificate_type_get
600
certificate_type_get.argtypes = [session_t]
745
certificate_type_get.argtypes = [ClientSession]
601
746
certificate_type_get.restype = _error_code
603
748
certificate_get_peers = _library.gnutls_certificate_get_peers
604
certificate_get_peers.argtypes = [session_t,
749
certificate_get_peers.argtypes = [ClientSession,
605
750
ctypes.POINTER(ctypes.c_uint)]
606
751
certificate_get_peers.restype = ctypes.POINTER(datum_t)
608
753
global_set_log_level = _library.gnutls_global_set_log_level
609
754
global_set_log_level.argtypes = [ctypes.c_int]
610
755
global_set_log_level.restype = None
612
757
global_set_log_function = _library.gnutls_global_set_log_function
613
758
global_set_log_function.argtypes = [log_func]
614
759
global_set_log_function.restype = None
616
761
deinit = _library.gnutls_deinit
617
deinit.argtypes = [session_t]
762
deinit.argtypes = [ClientSession]
618
763
deinit.restype = None
620
765
handshake = _library.gnutls_handshake
621
handshake.argtypes = [session_t]
622
handshake.restype = _error_code
766
handshake.argtypes = [ClientSession]
767
handshake.restype = ctypes.c_int
768
handshake.errcheck = _retry_on_error
624
770
transport_set_ptr = _library.gnutls_transport_set_ptr
625
transport_set_ptr.argtypes = [session_t, transport_ptr_t]
771
transport_set_ptr.argtypes = [ClientSession, transport_ptr_t]
626
772
transport_set_ptr.restype = None
628
774
bye = _library.gnutls_bye
629
bye.argtypes = [session_t, close_request_t]
630
bye.restype = _error_code
775
bye.argtypes = [ClientSession, close_request_t]
776
bye.restype = ctypes.c_int
777
bye.errcheck = _retry_on_error
632
779
check_version = _library.gnutls_check_version
633
780
check_version.argtypes = [ctypes.c_char_p]
634
781
check_version.restype = ctypes.c_char_p
636
# All the function declarations below are from gnutls/openpgp.h
638
openpgp_crt_init = _library.gnutls_openpgp_crt_init
639
openpgp_crt_init.argtypes = [ctypes.POINTER(openpgp_crt_t)]
640
openpgp_crt_init.restype = _error_code
642
openpgp_crt_import = _library.gnutls_openpgp_crt_import
643
openpgp_crt_import.argtypes = [openpgp_crt_t,
644
ctypes.POINTER(datum_t),
646
openpgp_crt_import.restype = _error_code
648
openpgp_crt_verify_self = _library.gnutls_openpgp_crt_verify_self
649
openpgp_crt_verify_self.argtypes = [openpgp_crt_t, ctypes.c_uint,
650
ctypes.POINTER(ctypes.c_uint)]
651
openpgp_crt_verify_self.restype = _error_code
653
openpgp_crt_deinit = _library.gnutls_openpgp_crt_deinit
654
openpgp_crt_deinit.argtypes = [openpgp_crt_t]
655
openpgp_crt_deinit.restype = None
657
openpgp_crt_get_fingerprint = (
658
_library.gnutls_openpgp_crt_get_fingerprint)
659
openpgp_crt_get_fingerprint.argtypes = [openpgp_crt_t,
663
openpgp_crt_get_fingerprint.restype = _error_code
665
# Remove non-public function
667
# Create the global "gnutls" object, simulating a module
783
_need_version = b"3.3.0"
784
if check_version(_need_version) is None:
785
raise self.Error("Needs GnuTLS {} or later"
786
.format(_need_version))
788
_tls_rawpk_version = b"3.6.6"
789
has_rawpk = bool(check_version(_tls_rawpk_version))
793
class pubkey_st(ctypes.Structure):
795
pubkey_t = ctypes.POINTER(pubkey_st)
797
x509_crt_fmt_t = ctypes.c_int
799
# All the function declarations below are from
801
pubkey_init = _library.gnutls_pubkey_init
802
pubkey_init.argtypes = [ctypes.POINTER(pubkey_t)]
803
pubkey_init.restype = _error_code
805
pubkey_import = _library.gnutls_pubkey_import
806
pubkey_import.argtypes = [pubkey_t, ctypes.POINTER(datum_t),
808
pubkey_import.restype = _error_code
810
pubkey_get_key_id = _library.gnutls_pubkey_get_key_id
811
pubkey_get_key_id.argtypes = [pubkey_t, ctypes.c_int,
812
ctypes.POINTER(ctypes.c_ubyte),
813
ctypes.POINTER(ctypes.c_size_t)]
814
pubkey_get_key_id.restype = _error_code
816
pubkey_deinit = _library.gnutls_pubkey_deinit
817
pubkey_deinit.argtypes = [pubkey_t]
818
pubkey_deinit.restype = None
820
# All the function declarations below are from
823
openpgp_crt_init = _library.gnutls_openpgp_crt_init
824
openpgp_crt_init.argtypes = [ctypes.POINTER(openpgp_crt_t)]
825
openpgp_crt_init.restype = _error_code
827
openpgp_crt_import = _library.gnutls_openpgp_crt_import
828
openpgp_crt_import.argtypes = [openpgp_crt_t,
829
ctypes.POINTER(datum_t),
831
openpgp_crt_import.restype = _error_code
833
openpgp_crt_verify_self = \
834
_library.gnutls_openpgp_crt_verify_self
835
openpgp_crt_verify_self.argtypes = [
838
ctypes.POINTER(ctypes.c_uint),
840
openpgp_crt_verify_self.restype = _error_code
842
openpgp_crt_deinit = _library.gnutls_openpgp_crt_deinit
843
openpgp_crt_deinit.argtypes = [openpgp_crt_t]
844
openpgp_crt_deinit.restype = None
846
openpgp_crt_get_fingerprint = (
847
_library.gnutls_openpgp_crt_get_fingerprint)
848
openpgp_crt_get_fingerprint.argtypes = [openpgp_crt_t,
852
openpgp_crt_get_fingerprint.restype = _error_code
854
if check_version(b"3.6.4"):
855
certificate_type_get2 = _library.gnutls_certificate_type_get2
856
certificate_type_get2.argtypes = [ClientSession, ctypes.c_int]
857
certificate_type_get2.restype = _error_code
859
# Remove non-public functions
860
del _error_code, _retry_on_error
670
863
def call_pipe(connection, # : multiprocessing.Connection
671
864
func, *args, **kwargs):
672
865
"""This function is meant to be called by multiprocessing.Process
674
867
This function runs func(*args, **kwargs), and writes the resulting
675
868
return value on the provided multiprocessing.Connection.
677
870
connection.send(func(*args, **kwargs))
678
871
connection.close()
680
class Client(object):
681
875
"""A representation of a client host served by this server.
684
approved: bool(); 'None' if not yet approved/disapproved
878
approved: bool(); None if not yet approved/disapproved
685
879
approval_delay: datetime.timedelta(); Time to wait for approval
686
880
approval_duration: datetime.timedelta(); Duration of one approval
687
checker: subprocess.Popen(); a running checker process used
688
to see if the client lives.
689
'None' if no process is running.
690
checker_callback_tag: a gobject event source tag, or None
881
checker: multiprocessing.Process(); a running checker process used
882
to see if the client lives. None if no process is
884
checker_callback_tag: a GLib event source tag, or None
691
885
checker_command: string; External command which is run to check
692
886
if client lives. %() expansions are done at
693
887
runtime with vars(self) as dict, so that for
694
888
instance %(name)s can be used in the command.
695
checker_initiator_tag: a gobject event source tag, or None
889
checker_initiator_tag: a GLib event source tag, or None
696
890
created: datetime.datetime(); (UTC) object creation
697
891
client_structure: Object describing what attributes a client has
698
892
and is used for storing the client at exit
699
893
current_checker_command: string; current running checker_command
700
disable_initiator_tag: a gobject event source tag, or None
894
disable_initiator_tag: a GLib event source tag, or None
702
896
fingerprint: string (40 or 32 hexadecimal digits); used to
703
uniquely identify the client
897
uniquely identify an OpenPGP client
898
key_id: string (64 hexadecimal digits); used to uniquely identify
899
a client using raw public keys
704
900
host: string; available for use by the checker command
705
901
interval: datetime.timedelta(); How often to start a new checker
706
902
last_approval_request: datetime.datetime(); (UTC) or None
825
1032
self.changedstate = multiprocessing_manager.Condition(
826
1033
multiprocessing_manager.Lock())
827
1034
self.client_structure = [attr
828
for attr in self.__dict__.iterkeys()
1035
for attr in self.__dict__.keys()
829
1036
if not attr.startswith("_")]
830
1037
self.client_structure.append("client_structure")
832
1039
for name, t in inspect.getmembers(
833
1040
type(self), lambda obj: isinstance(obj, property)):
834
1041
if not name.startswith("_"):
835
1042
self.client_structure.append(name)
837
1044
# Send notice to process children that client state has changed
838
1045
def send_changedstate(self):
839
1046
with self.changedstate:
840
1047
self.changedstate.notify_all()
842
1049
def enable(self):
843
1050
"""Start this client's checker and timeout hooks"""
844
1051
if getattr(self, "enabled", False):
845
1052
# Already enabled
847
self.expires = datetime.datetime.utcnow() + self.timeout
848
1054
self.enabled = True
849
1055
self.last_enabled = datetime.datetime.utcnow()
850
1056
self.init_checker()
851
1057
self.send_changedstate()
853
1059
def disable(self, quiet=True):
854
1060
"""Disable this client."""
855
1061
if not getattr(self, "enabled", False):
858
logger.info("Disabling client %s", self.name)
1064
log.info("Disabling client %s", self.name)
859
1065
if getattr(self, "disable_initiator_tag", None) is not None:
860
gobject.source_remove(self.disable_initiator_tag)
1066
GLib.source_remove(self.disable_initiator_tag)
861
1067
self.disable_initiator_tag = None
862
1068
self.expires = None
863
1069
if getattr(self, "checker_initiator_tag", None) is not None:
864
gobject.source_remove(self.checker_initiator_tag)
1070
GLib.source_remove(self.checker_initiator_tag)
865
1071
self.checker_initiator_tag = None
866
1072
self.stop_checker()
867
1073
self.enabled = False
869
1075
self.send_changedstate()
870
# Do not run this again if called by a gobject.timeout_add
1076
# Do not run this again if called by a GLib.timeout_add
873
1079
def __del__(self):
876
def init_checker(self):
877
# Schedule a new checker to be started an 'interval' from now,
878
# and every interval from then on.
1082
def init_checker(self, randomize_start=False):
1083
# Schedule a new checker to be started a randomly selected
1084
# time (a fraction of 'interval') from now. This spreads out
1085
# the startup of checkers over time when the server is
879
1087
if self.checker_initiator_tag is not None:
880
gobject.source_remove(self.checker_initiator_tag)
881
self.checker_initiator_tag = gobject.timeout_add(
882
int(self.interval.total_seconds() * 1000),
884
# Schedule a disable() when 'timeout' has passed
1088
GLib.source_remove(self.checker_initiator_tag)
1089
interval_milliseconds = int(self.interval.total_seconds()
1092
delay_milliseconds = random.randrange(
1093
interval_milliseconds + 1)
1095
delay_milliseconds = interval_milliseconds
1096
self.checker_initiator_tag = GLib.timeout_add(
1097
delay_milliseconds, self.start_checker, randomize_start)
1098
delay = datetime.timedelta(0, 0, 0, delay_milliseconds)
1099
# A checker might take up to an 'interval' of time, so we can
1100
# expire at the soonest one interval after a checker was
1101
# started. Since the initial checker is delayed, the expire
1102
# time might have to be extended.
1103
now = datetime.datetime.utcnow()
1104
self.expires = now + delay + self.interval
1105
# Schedule a disable() at expire time
885
1106
if self.disable_initiator_tag is not None:
886
gobject.source_remove(self.disable_initiator_tag)
887
self.disable_initiator_tag = gobject.timeout_add(
888
int(self.timeout.total_seconds() * 1000), self.disable)
889
# Also start a new checker *right now*.
1107
GLib.source_remove(self.disable_initiator_tag)
1108
self.disable_initiator_tag = GLib.timeout_add(
1109
int((self.expires - now).total_seconds() * 1000),
892
1112
def checker_callback(self, source, condition, connection,
894
1114
"""The checker has completed, so take appropriate actions."""
895
self.checker_callback_tag = None
897
1115
# Read return code from connection (see call_pipe)
898
1116
returncode = connection.recv()
899
1117
connection.close()
1118
if self.checker is not None:
1120
self.checker_callback_tag = None
901
1123
if returncode >= 0:
902
1124
self.last_checker_status = returncode
903
1125
self.last_checker_signal = None
904
1126
if self.last_checker_status == 0:
905
logger.info("Checker for %(name)s succeeded",
1127
log.info("Checker for %(name)s succeeded", vars(self))
907
1128
self.checked_ok()
909
logger.info("Checker for %(name)s failed", vars(self))
1130
log.info("Checker for %(name)s failed", vars(self))
911
1132
self.last_checker_status = -1
912
1133
self.last_checker_signal = -returncode
913
logger.warning("Checker for %(name)s crashed?",
1134
log.warning("Checker for %(name)s crashed?", vars(self))
917
1137
def checked_ok(self):
918
1138
"""Assert that the client has been seen, alive and well."""
919
1139
self.last_checked_ok = datetime.datetime.utcnow()
920
1140
self.last_checker_status = 0
921
1141
self.last_checker_signal = None
922
1142
self.bump_timeout()
924
1144
def bump_timeout(self, timeout=None):
925
1145
"""Bump up the timeout for this client."""
926
1146
if timeout is None:
927
1147
timeout = self.timeout
928
1148
if self.disable_initiator_tag is not None:
929
gobject.source_remove(self.disable_initiator_tag)
1149
GLib.source_remove(self.disable_initiator_tag)
930
1150
self.disable_initiator_tag = None
931
1151
if getattr(self, "enabled", False):
932
self.disable_initiator_tag = gobject.timeout_add(
1152
self.disable_initiator_tag = GLib.timeout_add(
933
1153
int(timeout.total_seconds() * 1000), self.disable)
934
1154
self.expires = datetime.datetime.utcnow() + timeout
936
1156
def need_approval(self):
937
1157
self.last_approval_request = datetime.datetime.utcnow()
939
def start_checker(self):
1159
def start_checker(self, start_was_randomized=False):
940
1160
"""Start a new checker subprocess if one is not running.
942
1162
If a checker already exists, leave it running and do
944
1164
# The reason for not killing a running checker is that if we
2067
2289
byte_arrays=True)
2068
2290
def Secret_dbus_property(self, value):
2069
2291
self.secret = bytes(value)
2074
class ProxyClient(object):
2075
def __init__(self, child_pipe, fpr, address):
2297
def __init__(self, child_pipe, key_id, fpr, address):
2076
2298
self._pipe = child_pipe
2077
self._pipe.send(('init', fpr, address))
2299
self._pipe.send(("init", key_id, fpr, address))
2078
2300
if not self._pipe.recv():
2301
raise KeyError(key_id or fpr)
2081
2303
def __getattribute__(self, name):
2083
2305
return super(ProxyClient, self).__getattribute__(name)
2084
self._pipe.send(('getattr', name))
2306
self._pipe.send(("getattr", name))
2085
2307
data = self._pipe.recv()
2086
if data[0] == 'data':
2308
if data[0] == "data":
2088
if data[0] == 'function':
2310
if data[0] == "function":
2090
2312
def func(*args, **kwargs):
2091
self._pipe.send(('funcall', name, args, kwargs))
2313
self._pipe.send(("funcall", name, args, kwargs))
2092
2314
return self._pipe.recv()[1]
2096
2318
def __setattr__(self, name, value):
2098
2320
return super(ProxyClient, self).__setattr__(name, value)
2099
self._pipe.send(('setattr', name, value))
2321
self._pipe.send(("setattr", name, value))
2102
2324
class ClientHandler(socketserver.BaseRequestHandler, object):
2103
2325
"""A class to handle client connections.
2105
2327
Instantiated once for each connection to handle it.
2106
2328
Note: This will run in its own forked process."""
2108
2330
def handle(self):
2109
2331
with contextlib.closing(self.server.child_pipe) as child_pipe:
2110
logger.info("TCP connection from: %s",
2111
str(self.client_address))
2112
logger.debug("Pipe FD: %d",
2113
self.server.child_pipe.fileno())
2332
log.info("TCP connection from: %s",
2333
str(self.client_address))
2334
log.debug("Pipe FD: %d", self.server.child_pipe.fileno())
2115
2336
session = gnutls.ClientSession(self.request)
2117
#priority = ':'.join(("NONE", "+VERS-TLS1.1",
2118
# "+AES-256-CBC", "+SHA1",
2119
# "+COMP-NULL", "+CTYPE-OPENPGP",
2338
# priority = ":".join(("NONE", "+VERS-TLS1.1",
2339
# "+AES-256-CBC", "+SHA1",
2340
# "+COMP-NULL", "+CTYPE-OPENPGP",
2121
2342
# Use a fallback default, since this MUST be set.
2122
2343
priority = self.server.gnutls_priority
2123
2344
if priority is None:
2124
2345
priority = "NORMAL"
2125
gnutls.priority_set_direct(session._c_object, priority,
2346
gnutls.priority_set_direct(session,
2347
priority.encode("utf-8"), None)
2128
2349
# Start communication using the Mandos protocol
2129
2350
# Get protocol number
2130
2351
line = self.request.makefile().readline()
2131
logger.debug("Protocol version: %r", line)
2352
log.debug("Protocol version: %r", line)
2133
2354
if int(line.strip().split()[0]) > 1:
2134
2355
raise RuntimeError(line)
2135
2356
except (ValueError, IndexError, RuntimeError) as error:
2136
logger.error("Unknown protocol version: %s", error)
2357
log.error("Unknown protocol version: %s", error)
2139
2360
# Start GnuTLS connection
2141
2362
session.handshake()
2142
2363
except gnutls.Error as error:
2143
logger.warning("Handshake failed: %s", error)
2364
log.warning("Handshake failed: %s", error)
2144
2365
# Do not run session.bye() here: the session is not
2145
2366
# established. Just abandon the request.
2147
logger.debug("Handshake succeeded")
2368
log.debug("Handshake succeeded")
2149
2370
approval_required = False
2152
fpr = self.fingerprint(
2153
self.peer_certificate(session))
2154
except (TypeError, gnutls.Error) as error:
2155
logger.warning("Bad certificate: %s", error)
2157
logger.debug("Fingerprint: %s", fpr)
2160
client = ProxyClient(child_pipe, fpr,
2372
if gnutls.has_rawpk:
2375
key_id = self.key_id(
2376
self.peer_certificate(session))
2377
except (TypeError, gnutls.Error) as error:
2378
log.warning("Bad certificate: %s", error)
2380
log.debug("Key ID: %s",
2381
key_id.decode("utf-8",
2387
fpr = self.fingerprint(
2388
self.peer_certificate(session))
2389
except (TypeError, gnutls.Error) as error:
2390
log.warning("Bad certificate: %s", error)
2392
log.debug("Fingerprint: %s", fpr)
2395
client = ProxyClient(child_pipe, key_id, fpr,
2161
2396
self.client_address)
2162
2397
except KeyError:
2165
2400
if client.approval_delay:
2166
2401
delay = client.approval_delay
2167
2402
client.approvals_pending += 1
2168
2403
approval_required = True
2171
2406
if not client.enabled:
2172
logger.info("Client %s is disabled",
2407
log.info("Client %s is disabled", client.name)
2174
2408
if self.server.use_dbus:
2175
2409
# Emit D-Bus signal
2176
2410
client.Rejected("Disabled")
2179
2413
if client.approved or not client.approval_delay:
2180
#We are approved or approval is disabled
2414
# We are approved or approval is disabled
2182
2416
elif client.approved is None:
2183
logger.info("Client %s needs approval",
2417
log.info("Client %s needs approval",
2185
2419
if self.server.use_dbus:
2186
2420
# Emit D-Bus signal
2187
2421
client.NeedApproval(
2188
2422
client.approval_delay.total_seconds()
2189
2423
* 1000, client.approved_by_default)
2191
logger.warning("Client %s was not approved",
2425
log.warning("Client %s was not approved",
2193
2427
if self.server.use_dbus:
2194
2428
# Emit D-Bus signal
2195
2429
client.Rejected("Denied")
2198
#wait until timeout or approved
2432
# wait until timeout or approved
2199
2433
time = datetime.datetime.now()
2200
2434
client.changedstate.acquire()
2201
2435
client.changedstate.wait(delay.total_seconds())
2216
2450
delay -= time2 - time
2219
while sent_size < len(client.secret):
2221
sent = session.send(client.secret[sent_size:])
2222
except gnutls.Error as error:
2223
logger.warning("gnutls send failed",
2226
logger.debug("Sent: %d, remaining: %d", sent,
2227
len(client.secret) - (sent_size
2231
logger.info("Sending secret to %s", client.name)
2453
session.send(client.secret)
2454
except gnutls.Error as error:
2455
log.warning("gnutls send failed", exc_info=error)
2458
log.info("Sending secret to %s", client.name)
2232
2459
# bump the timeout using extended_timeout
2233
2460
client.bump_timeout(client.extended_timeout)
2234
2461
if self.server.use_dbus:
2235
2462
# Emit D-Bus signal
2236
2463
client.GotSecret()
2239
2466
if approval_required:
2240
2467
client.approvals_pending -= 1
2243
2470
except gnutls.Error as error:
2244
logger.warning("GnuTLS bye failed",
2471
log.warning("GnuTLS bye failed", exc_info=error)
2248
2474
def peer_certificate(session):
2249
"Return the peer's OpenPGP certificate as a bytestring"
2250
# If not an OpenPGP certificate...
2251
if (gnutls.certificate_type_get(session._c_object)
2252
!= gnutls.CRT_OPENPGP):
2475
"Return the peer's certificate as a bytestring"
2477
cert_type = gnutls.certificate_type_get2(
2478
session, gnutls.CTYPE_PEERS)
2479
except AttributeError:
2480
cert_type = gnutls.certificate_type_get(session)
2481
if gnutls.has_rawpk:
2482
valid_cert_types = frozenset((gnutls.CRT_RAWPK,))
2484
valid_cert_types = frozenset((gnutls.CRT_OPENPGP,))
2485
# If not a valid certificate type...
2486
if cert_type not in valid_cert_types:
2487
log.info("Cert type %r not in %r", cert_type,
2253
2489
# ...return invalid data
2255
2491
list_size = ctypes.c_uint(1)
2256
2492
cert_list = (gnutls.certificate_get_peers
2257
(session._c_object, ctypes.byref(list_size)))
2493
(session, ctypes.byref(list_size)))
2258
2494
if not bool(cert_list) and list_size.value != 0:
2259
2495
raise gnutls.Error("error getting peer certificate")
2260
2496
if list_size.value == 0:
2262
2498
cert = cert_list[0]
2263
2499
return ctypes.string_at(cert.data, cert.size)
2502
def key_id(certificate):
2503
"Convert a certificate bytestring to a hexdigit key ID"
2504
# New GnuTLS "datum" with the public key
2505
datum = gnutls.datum_t(
2506
ctypes.cast(ctypes.c_char_p(certificate),
2507
ctypes.POINTER(ctypes.c_ubyte)),
2508
ctypes.c_uint(len(certificate)))
2509
# XXX all these need to be created in the gnutls "module"
2510
# New empty GnuTLS certificate
2511
pubkey = gnutls.pubkey_t()
2512
gnutls.pubkey_init(ctypes.byref(pubkey))
2513
# Import the raw public key into the certificate
2514
gnutls.pubkey_import(pubkey,
2515
ctypes.byref(datum),
2516
gnutls.X509_FMT_DER)
2517
# New buffer for the key ID
2518
buf = ctypes.create_string_buffer(32)
2519
buf_len = ctypes.c_size_t(len(buf))
2520
# Get the key ID from the raw public key into the buffer
2521
gnutls.pubkey_get_key_id(
2523
gnutls.KEYID_USE_SHA256,
2524
ctypes.cast(ctypes.byref(buf),
2525
ctypes.POINTER(ctypes.c_ubyte)),
2526
ctypes.byref(buf_len))
2527
# Deinit the certificate
2528
gnutls.pubkey_deinit(pubkey)
2530
# Convert the buffer to a Python bytestring
2531
key_id = ctypes.string_at(buf, buf_len.value)
2532
# Convert the bytestring to hexadecimal notation
2533
hex_key_id = binascii.hexlify(key_id).upper()
2266
2537
def fingerprint(openpgp):
2267
2538
"Convert an OpenPGP bytestring to a hexdigit fingerprint"
2458
2733
self.gnutls_priority = gnutls_priority
2459
2734
IPv6_TCPServer.__init__(self, server_address,
2460
2735
RequestHandlerClass,
2461
interface = interface,
2462
use_ipv6 = use_ipv6,
2463
socketfd = socketfd)
2736
interface=interface,
2465
2740
def server_activate(self):
2466
2741
if self.enabled:
2467
2742
return socketserver.TCPServer.server_activate(self)
2469
2744
def enable(self):
2470
2745
self.enabled = True
2472
2747
def add_pipe(self, parent_pipe, proc):
2473
2748
# Call "handle_ipc" for both data and EOF events
2474
gobject.io_add_watch(
2475
parent_pipe.fileno(),
2476
gobject.IO_IN | gobject.IO_HUP,
2750
GLib.IOChannel.unix_new(parent_pipe.fileno()),
2751
GLib.PRIORITY_DEFAULT, GLib.IO_IN | GLib.IO_HUP,
2477
2752
functools.partial(self.handle_ipc,
2478
parent_pipe = parent_pipe,
2753
parent_pipe=parent_pipe,
2481
2756
def handle_ipc(self, source, condition,
2482
2757
parent_pipe=None,
2484
2759
client_object=None):
2485
2760
# error, or the other end of multiprocessing.Pipe has closed
2486
if condition & (gobject.IO_ERR | gobject.IO_HUP):
2761
if condition & (GLib.IO_ERR | GLib.IO_HUP):
2487
2762
# Wait for other process to exit
2491
2766
# Read a request from the child
2492
2767
request = parent_pipe.recv()
2493
2768
command = request[0]
2495
if command == 'init':
2497
address = request[2]
2499
for c in self.clients.itervalues():
2500
if c.fingerprint == fpr:
2770
if command == "init":
2771
key_id = request[1].decode("ascii")
2772
fpr = request[2].decode("ascii")
2773
address = request[3]
2775
for c in self.clients.values():
2776
if key_id == ("E3B0C44298FC1C149AFBF4C8996FB924"
2777
"27AE41E4649B934CA495991B7852B855"):
2779
if key_id and c.key_id == key_id:
2782
if fpr and c.fingerprint == fpr:
2504
logger.info("Client not found for fingerprint: %s, ad"
2505
"dress: %s", fpr, address)
2786
log.info("Client not found for key ID: %s, address:"
2787
" %s", key_id or fpr, address)
2506
2788
if self.use_dbus:
2507
2789
# Emit D-Bus signal
2508
mandos_dbus_service.ClientNotFound(fpr,
2790
mandos_dbus_service.ClientNotFound(key_id or fpr,
2510
2792
parent_pipe.send(False)
2513
gobject.io_add_watch(
2514
parent_pipe.fileno(),
2515
gobject.IO_IN | gobject.IO_HUP,
2796
GLib.IOChannel.unix_new(parent_pipe.fileno()),
2797
GLib.PRIORITY_DEFAULT, GLib.IO_IN | GLib.IO_HUP,
2516
2798
functools.partial(self.handle_ipc,
2517
parent_pipe = parent_pipe,
2519
client_object = client))
2799
parent_pipe=parent_pipe,
2801
client_object=client))
2520
2802
parent_pipe.send(True)
2521
2803
# remove the old hook in favor of the new above hook on
2524
if command == 'funcall':
2806
if command == "funcall":
2525
2807
funcname = request[1]
2526
2808
args = request[2]
2527
2809
kwargs = request[3]
2529
parent_pipe.send(('data', getattr(client_object,
2811
parent_pipe.send(("data", getattr(client_object,
2530
2812
funcname)(*args,
2533
if command == 'getattr':
2815
if command == "getattr":
2534
2816
attrname = request[1]
2535
2817
if isinstance(client_object.__getattribute__(attrname),
2536
collections.Callable):
2537
parent_pipe.send(('function', ))
2818
collections.abc.Callable):
2819
parent_pipe.send(("function", ))
2539
2821
parent_pipe.send((
2540
'data', client_object.__getattribute__(attrname)))
2542
if command == 'setattr':
2822
"data", client_object.__getattribute__(attrname)))
2824
if command == "setattr":
2543
2825
attrname = request[1]
2544
2826
value = request[2]
2545
2827
setattr(client_object, attrname, value)
2550
2832
def rfc3339_duration_to_delta(duration):
2551
2833
"""Parse an RFC 3339 "duration" and return a datetime.timedelta
2553
>>> rfc3339_duration_to_delta("P7D")
2554
datetime.timedelta(7)
2555
>>> rfc3339_duration_to_delta("PT60S")
2556
datetime.timedelta(0, 60)
2557
>>> rfc3339_duration_to_delta("PT60M")
2558
datetime.timedelta(0, 3600)
2559
>>> rfc3339_duration_to_delta("PT24H")
2560
datetime.timedelta(1)
2561
>>> rfc3339_duration_to_delta("P1W")
2562
datetime.timedelta(7)
2563
>>> rfc3339_duration_to_delta("PT5M30S")
2564
datetime.timedelta(0, 330)
2565
>>> rfc3339_duration_to_delta("P1DT3M20S")
2566
datetime.timedelta(1, 200)
2835
>>> timedelta = datetime.timedelta
2836
>>> rfc3339_duration_to_delta("P7D") == timedelta(7)
2838
>>> rfc3339_duration_to_delta("PT60S") == timedelta(0, 60)
2840
>>> rfc3339_duration_to_delta("PT60M") == timedelta(0, 3600)
2842
>>> rfc3339_duration_to_delta("PT24H") == timedelta(1)
2844
>>> rfc3339_duration_to_delta("P1W") == timedelta(7)
2846
>>> rfc3339_duration_to_delta("PT5M30S") == timedelta(0, 330)
2848
>>> rfc3339_duration_to_delta("P1DT3M20S") == timedelta(1, 200)
2569
2853
# Parsing an RFC 3339 duration with regular expressions is not
2570
2854
# possible - there would have to be multiple places for the same
2571
2855
# values, like seconds. The current code, while more esoteric, is
2572
2856
# cleaner without depending on a parsing library. If Python had a
2573
2857
# built-in library for parsing we would use it, but we'd like to
2574
2858
# avoid excessive use of external libraries.
2576
2860
# New type for defining tokens, syntax, and semantics all-in-one
2577
2861
Token = collections.namedtuple("Token", (
2578
2862
"regexp", # To match token; if "value" is not None, must have
2960
3255
"se.bsnet.fukt.Mandos", bus,
2961
3256
do_not_queue=True)
2962
3257
except dbus.exceptions.DBusException as e:
2963
logger.error("Disabling D-Bus:", exc_info=e)
3258
log.error("Disabling D-Bus:", exc_info=e)
2964
3259
use_dbus = False
2965
3260
server_settings["use_dbus"] = False
2966
3261
tcp_server.use_dbus = False
2968
3263
protocol = avahi.PROTO_INET6 if use_ipv6 else avahi.PROTO_INET
2969
3264
service = AvahiServiceToSyslog(
2970
name = server_settings["servicename"],
2971
servicetype = "_mandos._tcp",
2972
protocol = protocol,
3265
name=server_settings["servicename"],
3266
servicetype="_mandos._tcp",
2974
3269
if server_settings["interface"]:
2975
3270
service.interface = if_nametoindex(
2976
3271
server_settings["interface"].encode("utf-8"))
2978
3273
global multiprocessing_manager
2979
3274
multiprocessing_manager = multiprocessing.Manager()
2981
3276
client_class = Client
2983
client_class = functools.partial(ClientDBus, bus = bus)
3278
client_class = functools.partial(ClientDBus, bus=bus)
2985
3280
client_settings = Client.config_parser(client_config)
2986
3281
old_client_settings = {}
2987
3282
clients_data = {}
2989
3284
# This is used to redirect stdout and stderr for checker processes
2991
wnull = open(os.devnull, "w") # A writable /dev/null
3286
wnull = open(os.devnull, "w") # A writable /dev/null
2992
3287
# Only used if server is running in foreground but not in debug
2994
3289
if debug or not foreground:
2997
3292
# Get client data and settings from last running state.
2998
3293
if server_settings["restore"]:
3000
3295
with open(stored_state_path, "rb") as stored_state:
3001
clients_data, old_client_settings = pickle.load(
3296
if sys.version_info.major == 2:
3297
clients_data, old_client_settings = pickle.load(
3300
bytes_clients_data, bytes_old_client_settings = (
3301
pickle.load(stored_state, encoding="bytes"))
3302
# Fix bytes to strings
3305
clients_data = {(key.decode("utf-8")
3306
if isinstance(key, bytes)
3309
bytes_clients_data.items()}
3310
del bytes_clients_data
3311
for key in clients_data:
3312
value = {(k.decode("utf-8")
3313
if isinstance(k, bytes) else k): v
3315
clients_data[key].items()}
3316
clients_data[key] = value
3318
value["client_structure"] = [
3320
if isinstance(s, bytes)
3322
value["client_structure"]]
3323
# .name, .host, and .checker_command
3324
for k in ("name", "host", "checker_command"):
3325
if isinstance(value[k], bytes):
3326
value[k] = value[k].decode("utf-8")
3327
if "key_id" not in value:
3328
value["key_id"] = ""
3329
elif "fingerprint" not in value:
3330
value["fingerprint"] = ""
3331
# old_client_settings
3333
old_client_settings = {
3334
(key.decode("utf-8")
3335
if isinstance(key, bytes)
3338
bytes_old_client_settings.items()}
3339
del bytes_old_client_settings
3340
# .host and .checker_command
3341
for value in old_client_settings.values():
3342
for attribute in ("host", "checker_command"):
3343
if isinstance(value[attribute], bytes):
3344
value[attribute] = (value[attribute]
3003
3346
os.remove(stored_state_path)
3004
3347
except IOError as e:
3005
3348
if e.errno == errno.ENOENT:
3006
logger.warning("Could not load persistent state:"
3007
" {}".format(os.strerror(e.errno)))
3349
log.warning("Could not load persistent state:"
3350
" %s", os.strerror(e.errno))
3009
logger.critical("Could not load persistent state:",
3352
log.critical("Could not load persistent state:",
3012
3355
except EOFError as e:
3013
logger.warning("Could not load persistent state: "
3356
log.warning("Could not load persistent state: EOFError:",
3017
3359
with PGPEngine() as pgp:
3018
3360
for client_name, client in clients_data.items():
3019
3361
# Skip removed clients
3020
3362
if client_name not in client_settings:
3023
3365
# Decide which value to use after restoring saved state.
3024
3366
# We have three different values: Old config file,
3025
3367
# new config file, and saved state.
3286
3631
mandos_dbus_service.client_removed_signal(client)
3287
3632
client_settings.clear()
3289
3634
atexit.register(cleanup)
3291
for client in tcp_server.clients.itervalues():
3636
for client in tcp_server.clients.values():
3293
3638
# Emit D-Bus signal for adding
3294
3639
mandos_dbus_service.client_added_signal(client)
3295
3640
# Need to initiate checking of clients
3296
3641
if client.enabled:
3297
client.init_checker()
3642
client.init_checker(randomize_start=True)
3299
3644
tcp_server.enable()
3300
3645
tcp_server.server_activate()
3302
3647
# Find out what port we got
3304
3649
service.port = tcp_server.socket.getsockname()[1]
3306
logger.info("Now listening on address %r, port %d,"
3307
" flowinfo %d, scope_id %d",
3308
*tcp_server.socket.getsockname())
3651
log.info("Now listening on address %r, port %d, flowinfo %d,"
3652
" scope_id %d", *tcp_server.socket.getsockname())
3310
logger.info("Now listening on address %r, port %d",
3311
*tcp_server.socket.getsockname())
3313
#service.interface = tcp_server.socket.getsockname()[3]
3654
log.info("Now listening on address %r, port %d",
3655
*tcp_server.socket.getsockname())
3657
# service.interface = tcp_server.socket.getsockname()[3]
3317
3661
# From the Avahi example code
3319
3663
service.activate()
3320
3664
except dbus.exceptions.DBusException as error:
3321
logger.critical("D-Bus Exception", exc_info=error)
3665
log.critical("D-Bus Exception", exc_info=error)
3324
3668
# End of Avahi example code
3326
gobject.io_add_watch(tcp_server.fileno(), gobject.IO_IN,
3327
lambda *args, **kwargs:
3328
(tcp_server.handle_request
3329
(*args[2:], **kwargs) or True))
3331
logger.debug("Starting main loop")
3671
GLib.IOChannel.unix_new(tcp_server.fileno()),
3672
GLib.PRIORITY_DEFAULT, GLib.IO_IN,
3673
lambda *args, **kwargs: (tcp_server.handle_request
3674
(*args[2:], **kwargs) or True))
3676
log.debug("Starting main loop")
3332
3677
main_loop.run()
3333
3678
except AvahiError as error:
3334
logger.critical("Avahi Error", exc_info=error)
3679
log.critical("Avahi Error", exc_info=error)
3337
3682
except KeyboardInterrupt:
3339
3684
print("", file=sys.stderr)
3340
logger.debug("Server received KeyboardInterrupt")
3341
logger.debug("Server exiting")
3685
log.debug("Server received KeyboardInterrupt")
3686
log.debug("Server exiting")
3342
3687
# Must run before the D-Bus bus name gets deregistered
3346
if __name__ == '__main__':
3691
def parse_test_args():
3692
# type: () -> argparse.Namespace
3693
parser = argparse.ArgumentParser(add_help=False)
3694
parser.add_argument("--check", action="store_true")
3695
parser.add_argument("--prefix", )
3696
args, unknown_args = parser.parse_known_args()
3698
# Remove test options from sys.argv
3699
sys.argv[1:] = unknown_args
3702
# Add all tests from doctest strings
3703
def load_tests(loader, tests, none):
3705
tests.addTests(doctest.DocTestSuite())
3708
if __name__ == "__main__":
3709
options = parse_test_args()
3712
extra_test_prefix = options.prefix
3713
if extra_test_prefix is not None:
3714
if not (unittest.main(argv=[""], exit=False)
3715
.result.wasSuccessful()):
3717
class ExtraTestLoader(unittest.TestLoader):
3718
testMethodPrefix = extra_test_prefix
3719
# Call using ./scriptname --test [--verbose]
3720
unittest.main(argv=[""], testLoader=ExtraTestLoader())
3722
unittest.main(argv=[""])
3730
# (lambda (&optional extra)
3731
# (if (not (funcall run-tests-in-test-buffer default-directory
3733
# (funcall show-test-buffer-in-test-window)
3734
# (funcall remove-test-window)
3735
# (if extra (message "Extra tests run successfully!"))))
3736
# run-tests-in-test-buffer:
3737
# (lambda (dir &optional extra)
3738
# (with-current-buffer (get-buffer-create "*Test*")
3739
# (setq buffer-read-only nil
3740
# default-directory dir)
3742
# (compilation-mode))
3743
# (let ((process-result
3744
# (let ((inhibit-read-only t))
3745
# (process-file-shell-command
3746
# (funcall get-command-line extra) nil "*Test*"))))
3747
# (and (numberp process-result)
3748
# (= process-result 0))))
3750
# (lambda (&optional extra)
3751
# (let ((quoted-script
3752
# (shell-quote-argument (funcall get-script-name))))
3754
# (concat "%s --check" (if extra " --prefix=atest" ""))
3758
# (if (fboundp 'file-local-name)
3759
# (file-local-name (buffer-file-name))
3760
# (or (file-remote-p (buffer-file-name) 'localname)
3761
# (buffer-file-name))))
3762
# remove-test-window:
3764
# (let ((test-window (get-buffer-window "*Test*")))
3765
# (if test-window (delete-window test-window))))
3766
# show-test-buffer-in-test-window:
3768
# (when (not (get-buffer-window-list "*Test*"))
3769
# (setq next-error-last-buffer (get-buffer "*Test*"))
3770
# (let* ((side (if (>= (window-width) 146) 'right 'bottom))
3771
# (display-buffer-overriding-action
3772
# `((display-buffer-in-side-window) (side . ,side)
3773
# (window-height . fit-window-to-buffer)
3774
# (window-width . fit-window-to-buffer))))
3775
# (display-buffer "*Test*"))))
3778
# (let* ((run-extra-tests (lambda () (interactive)
3779
# (funcall run-tests t)))
3780
# (inner-keymap `(keymap (116 . ,run-extra-tests))) ; t
3781
# (outer-keymap `(keymap (3 . ,inner-keymap)))) ; C-c
3782
# (setq minor-mode-overriding-map-alist
3783
# (cons `(run-tests . ,outer-keymap)
3784
# minor-mode-overriding-map-alist)))
3785
# (add-hook 'after-save-hook run-tests 90 t))