master-up-setup: Ping multiple times with a shorter interval
authorPetr Pudlak <pudlak@google.com>
Tue, 3 Dec 2013 08:03:28 +0000 (09:03 +0100)
committerPetr Pudlak <pudlak@google.com>
Tue, 3 Dec 2013 10:05:59 +0000 (11:05 +0100)
commit9d7e8218f5616a2afb6ee90e167da328da8c91de
tree0cb2b96e4c3d4595b68c785c7da01ce6d72cce1e
parent71b75e7a7e3876a21c2f54bff1a45d4de65f79e0
master-up-setup: Ping multiple times with a shorter interval

In the case of network problems, one ping packet can possibly get lost.
Sending multiple packets is safer. The interval between packets is set
to 200ms so that the check finishes faster.

Signed-off-by: Petr Pudlak <pudlak@google.com>
Reviewed-by: Klaus Aehlig <aehlig@google.com>
tools/master-ip-setup