Ruggedized Timing Server

f18e1cb5121352348746d1eabb70b56233333333333333333333333333