Wed, 05 Jul 2017 22:07:28 +0200 Merge
duke [Wed, 05 Jul 2017 22:07:28 +0200] rev 40518
Merge
Mon, 22 Aug 2016 18:19:31 +0200 8156911: JShell: file manager should be closed
jlahoda [Mon, 22 Aug 2016 18:19:31 +0200] rev 40517
8156911: JShell: file manager should be closed Summary: Properly closing the file manager when it is being thrown away on error. Reviewed-by: rfield
Mon, 22 Aug 2016 09:12:11 -0700 8154374: JShell: setContextClassLoader() for remote Snippet class loader
rfield [Mon, 22 Aug 2016 09:12:11 -0700] rev 40516
8154374: JShell: setContextClassLoader() for remote Snippet class loader 8080347: jshell tool: /vars when the status is other than Active Reviewed-by: jlahoda
Mon, 22 Aug 2016 08:18:18 -0700 8164277: JShell API: Snippets are immutable and should be available for post-mortem analysis
rfield [Mon, 22 Aug 2016 08:18:18 -0700] rev 40515
8164277: JShell API: Snippets are immutable and should be available for post-mortem analysis Reviewed-by: jlahoda
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 tip