Definition of a simple time server