We are using Wincc HMI redundent server.Yesterday when i overserved , status of both server is MASTER.I restarted one server and the things become normal(status of #1--master , status of other - standby).I had some doubt so i restarted the other server also but then i found that the status of both server became again as master.Is there any special proceedure/seqence to reset/restart both servers.