Hi Hackers,
Attached is the patch to move "Delete/Drop" menu option away from
"Disconnect Servers" for server node.
Additionally, I have renamed the "Delete/Drop" menu option to "Remove
Server" for server node against issue RM3859.
--
*Rahul Shirsat*
Software Engineer | EnterpriseDB Corporation | Pune.