360361362363364365366367
if (tableListener != null) { unsubscribeHoldemTableListener(tableListener); } publishLeaveTableEvent( new LeaveTableEvent( player.getId() ) ); }