Merge pull request #743 from nicolasdespres/sigterm
authorNico Weber <nicolasweber@gmx.de>
Mon, 27 Apr 2015 23:42:39 +0000 (16:42 -0700)
committerNico Weber <nicolasweber@gmx.de>
Mon, 27 Apr 2015 23:42:39 +0000 (16:42 -0700)
commite5671f83fa842f15f2319ff634bc59c3849c6241
tree013a6eda9af77438bce692df0e88ebb426cf19e9
parentb2b8f3a12d3323c4273aa63460f482d6f7f03211
parent9fff9551b2f3d3e5c994512b06832b40560d510b
Merge pull request #743 from nicolasdespres/sigterm

Handle SIGTERM properly.