[jira] [Commented] (UIMA-5935) Destroy the ResourceManager on destroy of a pear

2019-01-16 Thread Marshall Schor (JIRA)
[ https://issues.apache.org/jira/browse/UIMA-5935?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=16744231#comment-16744231 ] Marshall Schor commented on UIMA-5935: -- hmmm - I don't think this is the cause.   We definitely

[jira] [Commented] (UIMA-5935) Destroy the ResourceManager on destroy of a pear

2019-01-16 Thread Matthias Koch (JIRA)
[ https://issues.apache.org/jira/browse/UIMA-5935?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=16743968#comment-16743968 ] Matthias Koch commented on UIMA-5935: - added a svn patch for the fix > Destroy the ResourceManager on

[jira] [Commented] (UIMA-5935) Destroy the ResourceManager on destroy of a pear

2018-12-18 Thread Philipp Butz (JIRA)
[ https://issues.apache.org/jira/browse/UIMA-5935?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=16724035#comment-16724035 ] Philipp Butz commented on UIMA-5935: A possible bug fix is provided via GitHub: [Github Bug