Time stamps

For some behavioural tasks, it is important to know the exact timing of events. While a client has the option of establishing for itself the time when an event (or other message) arrives from the server, it will be more accurate to have the server report the time at which it sent the message. This can be done by adding a timestamp to every message coming from the server. The commands detailed in this section support this feature: