Make sure PlatformDependent.isRoot0() works fine in Android

.. by swallowing ErrnoException raised by process.destroy().

Fixes #1472
This commit is contained in:
Trustin Lee 2013-06-20 14:25:10 +09:00
parent 32aa661604
commit 63403884f7

View File

@ -354,7 +354,11 @@ public final class PlatformDependent {
}
}
if (p != null) {
p.destroy();
try {
p.destroy();
} catch (Exception e) {
// Android sometimes triggers an ErrnoException.
}
}
}