In FortiManager v4.0 MR3, when a HA slave was promoted a reboot was required, This behavior has changed in FortiManager v5.0 so that a reboot is not required when the slave is promoted to master.