void processSyncMessage()
{
\xA0 // if time sync available from serial port,
update time and return true
\xA0 // time message consists of a header and ten
ascii digits
\xA0 while(Serial.available() >=\xA0 TIME_MSG_LEN ){\xA0
\xA0\xA0\xA0 char c = Serial.read() ;
\xA0\xA0\xA0 Serial.print(c);
\xA0\xA0\xA0 if( c == TIME_HEADER ) {
\xA0\xA0\xA0\xA0\xA0 time_t pctime = 0;
\xA0\xA0\xA0\xA0\xA0 for(int i=0; i < TIME_MSG_LEN -1;
i++){
\xA0\xA0\xA0\xA0\xA0\xA0\xA0 c = Serial.read();
\xA0\xA0\xA0\xA0\xA0\xA0\xA0 if( isDigit(c)) {
\xA0\xA0\xA0\xA0\xA0\xA0\xA0\xA0\xA0 pctime = (10 * pctime) + (c - '0') ;
// convert digits to a number
\xA0\xA0\xA0\xA0\xA0\xA0\xA0 }
\xA0\xA0\xA0\xA0\xA0 }
\xA0\xA0\xA0\xA0\xA0 setTime(pctime);\xA0\xA0 // Sync clock
to the time received on serial port
\xA0\xA0\xA0 }
\xA0 }
}