update pingallm-local.py (use 10 ping pkts)
diff --git a/web/pingallm-local.py b/web/pingallm-local.py
index c8609e7..7dc69f8 100755
--- a/web/pingallm-local.py
+++ b/web/pingallm-local.py
@@ -5,7 +5,7 @@
 import re
 import json
 
-ping_cnt=3
+ping_cnt=10
 wait1=ping_cnt
 wait2=10