Change ping endpoint to time.arduino.cc

Fabrizio Mirabito · Fabrizio Mirabito · commit d93373634880 · 2019-03-07T11:25:52.000+01:00
diff --git a/src/GSMConnectionManager.h b/src/GSMConnectionManager.h
@@ -142,7 +142,7 @@ void GSMConnectionManager::check() {
         }
         debugMessage("Sending PING to outer space...", 2);
         int pingResult;
-        pingResult = gprs.ping("google.com");
+        pingResult = gprs.ping("time.arduino.cc");
         sprintf(msgBuffer, "GSM.ping(): %d", pingResult);
         debugMessage(msgBuffer, 2);
         if (pingResult < 0) {

Original file line number	Diff line number	Diff line change
`@@ -142,7 +142,7 @@ void GSMConnectionManager::check() {`
`142`	`142`	`}`
`143`	`143`	`debugMessage("Sending PING to outer space...", 2);`
`144`	`144`	`int pingResult;`
`145`		`- pingResult = gprs.ping("google.com");`
	`145`	`+ pingResult = gprs.ping("time.arduino.cc");`
`146`	`146`	`sprintf(msgBuffer, "GSM.ping(): %d", pingResult);`
`147`	`147`	`debugMessage(msgBuffer, 2);`
`148`	`148`	`if (pingResult < 0) {`