Added __server_state_counter__ in serverinfo_js.