diff THANKS @ 686:dc12a3fa4961

capture SIGTERM
author Sebastien Jodogne <s.jodogne@gmail.com>
date Fri, 31 Jan 2014 18:16:00 +0100
parents d76b747aec1b
children e874e1b0b9cf
line wrap: on
line diff