Title: set_time()


set_time() is called only from eth_rec(). eth_rec() takes advantage of the fact that the current time is included in messages from the ethernet task. (Specifically, the current time is in the field DL_CLCK of the message.)

Do not confuse set_time() with set_timer(), which does something completely different.