| commit | 430d1ce6d6ee1c32f589a38a94a96f097ec520fd | [log] [tgz] |
|---|---|---|
| author | jlahoda <none@none> | Mon Aug 22 18:19:31 2016 +0200 |
| committer | jlahoda <none@none> | Mon Aug 22 18:19:31 2016 +0200 |
| tree | 1314bad2f7aee6d897ec902bddbefa797c8471b8 | |
| parent | 5565e665e7a67cf6fb638952d7b0e2224a680128 [diff] |
8156911: JShell: file manager should be closed Summary: Properly closing the file manager when it is being thrown away on error. Reviewed-by: rfield