Searched refs:get_mysql_pid (Results 1 – 1 of 1) sorted by relevance
80 function get_mysql_pid() { function218 get_mysql_pid "$MYSQL_PID"