tree 6629dda86f85c8b71dd73652ecefe503c87876e5
parent 361bd691ec28f621db14d9e83c69c69603409c5f
parent 0271ebf7dc22705f1cf3999906933bb2945c9be2
author Richard Eckart de Castilho <richard.eckart@gmail.com> 1531035355 +0200
committer GitHub <noreply@github.com> 1531035355 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJbQb7bCRBK7hj4Ov3rIwAAdHIIAH0hwv56wNK1kDP1xh+a8la0
 0BtNCqrcRazA9v3QIclxas8RG1ScGMoixpoZk0RjLXhjWirYU7LctKxurn8h637W
 OJLcrKdceejieUrTrap0Wiq5wUSxTdIDMuwfMYiJ7dqEXezGBp4QNOBB6fDi++cL
 lwqReukXvkZDfMMGh53BeFkyoBc3osHjUxxkAXuAgAsPLb0aKxKQLzKF4aiy7eBh
 gdTI8eAYdMtrxvEYQ7khvLLgSSOq2nEkIDyG+4Hdriukq3ySkiFfLedvsqR/aeSy
 ZGnbiU/uiEQCxXW9UB1j4fEeWuqTfCOWJltKpJvvZY+iX6axjx0zsy9PA8KIdAk=
 =0bGs
 -----END PGP SIGNATURE-----
 

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