Upgrade leo_redundant_manager to 1.2.3
Modify launch-related functions due to changed redundant-manager