On 12/05/2015 08:08, Michael Dürig wrote:
>
> ...
>     Thread.currentThread().interrupt();
> ...
thanks for spotting. fixed in r1678922

-- Davide


Reply via email to