Comment 2 for bug 1158950

Revision history for this message
Carlos Salguero (carlos-salguero) wrote :

I would prefer to detect CTRL-C and do a proper clean up