Added a new operation isStaffMemberLoggedIn() to IHotelManager.