commit | c0689879a73a692490fee1d08584f895b401ae28 | [log] [tgz] |
---|---|---|
author | Robert Field <rfield@openjdk.org> | Tue Nov 14 19:33:37 2017 -0800 |
committer | Robert Field <rfield@openjdk.org> | Tue Nov 14 19:33:37 2017 -0800 |
tree | 2166a9325510cf69e8b809dbe57c12d6dfc83022 | |
parent | 60c7c6052dc70736aa6842d6fd6fdeab107585dc [diff] |
8177076: jshell tool: allow non-zero /exit 8190383: JShell API: no way for the jshell tool to report exit status to provider Reviewed-by: jlahoda