[PATCH 2/5] server: Make pulse_event() static.