Make Server fields that might change while it's running volatile.