masterha_master_switch(1p) on Linux

The text 31a7ba5f7804, as Debian 9 (Stretch), Debian 8 (Jessie) shipped it.

Switching MySQL master server to one of other slave servers