tree a6f02e737acc9ef318ac1d5a68ca4f2470d9011b
parent 27ca8cd5cb0891c8a15175b52c5c24253dea5b17
author Nick Kralevich <nnk@google.com> 1364523971 -0700
committer Nick Kralevich <nnk@google.com> 1364524211 -0700

Make sure ping doesn't ever run with privileges.

Ping on Android doesn't require any special privileges. Halt and
catch fire if we detect we're running with privileges.

Change-Id: Ic4cd03ae7767df1a96813a098cfef0cf008a752a