• Michael Hanselmann's avatar
    Add signal handler class · de499029
    Michael Hanselmann authored
    This signal handler class abstracts some of the code previously
    used in other places. It also uninstalls its handler when Reset()
    is called or the class is destructed, thereby restoring the
    previous behaviour.
    
    Reviewed-by: iustinp
    de499029
utils.py 29.3 KB