One of our three Primary servers is totally crashed. We are running v10.3.0a on SuSE Linux Enterprise Server 10.

What is the proper procedure to demote the server as a Primary when it is no longer available? Any advice is appreciated. Thanks.