| commit | 391773a662ca190e0b41bd9c5293826ed24828d9 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Mon Mar 14 17:40:43 2016 +0100 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Mon Mar 14 17:40:43 2016 +0100 |
| tree | e7c81b9f15d2e8154bf5f05416dab7e527da7653 | |
| parent | ef6629e1ac730db146a8d50b08cadc26f87f21fa [diff] |
Ensure that ryu is killed