e02ec73 make monitor_quit() usable outside signal handler

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