timeserver: Helper function for adding timeservers once to a list