8adef6f make monitor_quit() usable outside signal handler

1 file Authored by Ondrej Kos 10 years ago, Committed by jhrozek 10 years ago,
    make monitor_quit() usable outside signal handler
    
        
file modified
+26 -14