Hi Jaikiran, Tests were successful and I pushed it...
best regards, -- daniel On 02/09/2019 12:29, Daniel Fuchs wrote:
On 02/09/2019 12:23, Jaikiran Pai wrote:This does look better. I have updated the code to use this construct and the new webrev is at http://cr.openjdk.java.net/~jpai/webrev/8223714/3/webrev/ (only the stop() method code has changed compared to previous webrev). -Jaikiran
