s4: server: Use server_state as a parameter to stdin handler, not just name.