Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix: close JAR resource after use. #19

Merged
merged 1 commit into from
Oct 23, 2018

Conversation

matthieu-vergne
Copy link
Contributor

No description provided.

@matthieu-vergne matthieu-vergne mentioned this pull request Oct 20, 2018
@gousiosg gousiosg merged commit 6f1e3f5 into gousiosg:master Oct 23, 2018
@matthieu-vergne matthieu-vergne deleted the fix/jar_resource_leak branch October 24, 2018 21:04
pombredanne pushed a commit to pombredanne/java-callgraph that referenced this pull request May 29, 2024
* Ensure the results project name exists.

* Add progress on Dockerfile

* rpki-commons additional

* Update scoring to only assign a score to red nodes.

* Add try...catch

* Update patch/yaml for jflex
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants