Function OsuRoom.processLeave

Processes a user leave event & updates the state

void processLeave (
  string user
);