commit | 8ccb16e57e917279640d560d21c23d2e506de92d | [log] [tgz] |
---|---|---|
author | Richard Eckart de Castilho <richard.eckart@gmail.com> | Sun Jul 08 09:35:55 2018 +0200 |
committer | GitHub <noreply@github.com> | Sun Jul 08 09:35:55 2018 +0200 |
tree | 6629dda86f85c8b71dd73652ecefe503c87876e5 | |
parent | 361bd691ec28f621db14d9e83c69c69603409c5f [diff] | |
parent | 0271ebf7dc22705f1cf3999906933bb2945c9be2 [diff] |
Merge pull request #10 from apache/feature/5808-destroy-auto-created-resource-managers-if-feasible-v2 [UIMA-5808] Destroy auto-created resource managers if feasible