Fix for 8080767: JShell tool: tool hangs during shutting down

[andrei.eremeev]

Thanks! Pushed.

Andrei Eremeev

On 05/20/2015 06:01 PM, Robert Field wrote:
> Looks good! Push it!
>
> -Robert
>
>
>
> On May 20, 2015 7:01:26 AM "andrei.eremeev" 
> <andrei.eremeev at oracle.com> wrote:
>
>> Hi REPL team,
>>
>> Could anybody review the fix:
>> http://cr.openjdk.java.net/~aeremeev/8080767.00/
>>
>> Bug id:
>> https://bugs.openjdk.java.net/browse/JDK-8080767
>>
>> Andrei Eremeev
>
>