use 'sudo echo' avoid request passwd everytime if NOPASSWD set

Change-Id: I203ad2384d758d4902d836a3ad78e38d226ff48f

diff --git a/depanneur b/depanneur
index b6529271f858b5a9e578ecebf8b25f13e71b2838..530b0fdcfb3f43f643e6425a8e6a54ff34eccb6e 100755 (executable)
--- a/depanneur
+++ b/depanneur
@@ -1485,7 +1485,7 @@ $SIG{'INT'} = $SIG{'TERM'} = sub {
 };
 
 $SIG{'ALRM'} = sub {
-    if (my_system("sudo -v") != 0) {
+    if (my_system("sudo echo -n") != 0) {
         error("sudo: failed to request passwd")
     } else {
         alarm(SUDOV_PERIOD);