Fix server option max-workers

Please review this.