| commit | a9062e96e7ea4d3e95edb960a8ee46959903d3d6 | [log] [tgz] |
|---|---|---|
| author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | Tue Feb 25 16:21:22 2014 +0100 |
| committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | Fri Mar 14 08:41:01 2014 +0100 |
| tree | ca2c2825722d8d2c84cde4310a641544183a1a7e | |
| parent | c1da664e8954883f265e54dc5104bf1c04d8beaf [diff] |
shell scripts: clean up when exiting on signal