change the way the server accepts require_random

has_given_random_seed_  is now unused and can be removed.