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