81d6154 Catch when the user stops the script manually

Authored and Committed by pingou 4 years ago
    Catch when the user stops the script manually
    
    Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>
    
        
file modified
+4 -1