Pass additional server options to pushserve.