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