| commit | dd9dd9417bded34bc24510c67f8aa5429cf50201 | [log] [tgz] |
|---|---|---|
| author | Antonio García-Domínguez <agarcdomi@gmail.com> | Wed Jul 01 17:21:28 2020 +0100 |
| committer | Antonio García-Domínguez <agarcdomi@gmail.com> | Wed Jul 01 17:21:28 2020 +0100 |
| tree | d5511e99a92c7599a06747d45386b260843a08cc | |
| parent | f2b0e10370979019c2c6ce32547803b6aadbbecd [diff] |
Dispose context after running a query
diff --git a/core/plugins/org.eclipse.hawk.epsilon/src/org/eclipse/hawk/epsilon/emc/EOLQueryEngine.java b/core/plugins/org.eclipse.hawk.epsilon/src/org/eclipse/hawk/epsilon/emc/EOLQueryEngine.java index 7341371..0c8f4aa 100644 --- a/core/plugins/org.eclipse.hawk.epsilon/src/org/eclipse/hawk/epsilon/emc/EOLQueryEngine.java +++ b/core/plugins/org.eclipse.hawk.epsilon/src/org/eclipse/hawk/epsilon/emc/EOLQueryEngine.java
@@ -1077,6 +1077,8 @@ } } catch (Exception e) { throw new QueryExecutionException(e); + } finally { + module.getContext().dispose(); } return ret;