Source position: mysql.inc line 1301
function mysql_set_server_option(
mysql: PMYSQL;
option: enum_mysql_set_option
):LongInt;