| commit | 8c423c6851d7a6bc145eeb5632eac2015b4be336 | [log] [tgz] |
|---|---|---|
| author | Romain Manni-Bucau <rmannibucau@gmail.com> | Sat Oct 13 17:45:03 2018 +0200 |
| committer | Romain Manni-Bucau <rmannibucau@gmail.com> | Sat Oct 13 17:45:03 2018 +0200 |
| tree | 1c89f14e40cec94a166856af74abbfe4125a68c2 | |
| parent | ad6e031256cae8a69608e6d3bccf405856bc88ae [diff] |
ensure the Ripener main correctly handles JVM shutdown