Adding a replacement for zend_thread_id() to use within hiphop

This commit is contained in:
Jose Lorenzo Rodriguez 2012-01-07 18:41:16 -04:30
parent 67d18b0c59
commit 44dd25010d

View file

@ -79,7 +79,9 @@ class String {
$node = crc32(Configure::read('Security.salt')); $node = crc32(Configure::read('Security.salt'));
} }
if (function_exists('zend_thread_id')) { if (function_exists('hphp_get_thread_id')) {
$pid = hphp_get_thread_id();
} else if (function_exists('zend_thread_id')) {
$pid = zend_thread_id(); $pid = zend_thread_id();
} else { } else {
$pid = getmypid(); $pid = getmypid();