#ifdef PHP_WIN32
unsigned long client_ver = mysql_get_client_version();
/*
- Can't call mysql_server_end() multiple times prior to 5.0.42 on Windows.
+ Can't call mysql_server_end() multiple times prior to 5.0.46 on Windows.
PHP bug#41350 MySQL bug#25621
*/
- if ((client_ver >= 50042 && client_ver < 50100) || client_ver > 50122) {
+ if ((client_ver >= 50046 && client_ver < 50100) || client_ver > 50122) {
mysql_server_end();
}
#else
#ifdef PHP_WIN32
unsigned long client_ver = mysql_get_client_version();
/*
- Can't call mysql_server_end() multiple times prior to 5.0.42 on Windows.
+ Can't call mysql_server_end() multiple times prior to 5.0.46 on Windows.
PHP bug#41350 MySQL bug#25621
*/
- if ((client_ver >= 50042 && client_ver < 50100) || client_ver > 50122) {
+ if ((client_ver >= 50046 && client_ver < 50100) || client_ver > 50122) {
mysql_server_end();
}
#else