Ruggedized Timing Server

34cc1f46c31c914fb7bdadc24690d9e8DDDDDD