set_pma() { mysql $mysql_flags <