Update server.lhs to use gender-neutral language

Just a small update to change `"his"` to `"their"` for better gender-based inclusivity.