Source position: mysql.inc line 1796
function mysql_set_server_option(
mysql: PMYSQL;
option: enum_mysql_set_option
):cint;