Ruggedized Timing Server

a7f85da56fbf37a5b0beb4746c34ad691111