af00210 Make sure we're killing what setup.sh lands on the wrong path

Authored and Committed by Andrea Veri 6 years ago
    Make sure we're killing what setup.sh lands on the wrong path
    
        
file modified
+1 -0