| commit | 23135a50fd84f05f34241ab88b786dbc165463b4 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Wed Apr 27 11:25:12 2016 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Wed Apr 27 11:25:12 2016 +0200 |
| tree | 7256fd34845b103758ff1a8de89a20a9e0c62e59 | |
| parent | eedba63896751d1669e2bb6b1fa329d3344621b3 [diff] | |
| parent | a41f78690e310457bf88553a1acdbfb8385a36ab [diff] |
Merge pull request #88 from mpeuster/master Added proper exception handling, if there are not enough free resourc…