server.pp: rename 'options' to 'client_options'