Searched refs:manager (Results 1 – 13 of 13) sorted by relevance
220 delete_pspell_manager(manager); in ZEND_GET_MODULE()277 PspellManager *manager; in PHP_FUNCTION() local374 PspellManager *manager; in PHP_FUNCTION() local477 PspellManager *manager; in PHP_FUNCTION() local507 PspellManager *manager; in PHP_FUNCTION() local530 PspellManager *manager; in PHP_FUNCTION() local564 PspellManager *manager; in PHP_FUNCTION() local589 PspellManager *manager; in PHP_FUNCTION() local619 PspellManager *manager; in PHP_FUNCTION() local648 PspellManager *manager; in PHP_FUNCTION() local[all …]
7 The goal of the new memory manager (available since PHP 5.2) is to reduce memory10 The new manager's "configure" has no "--disable-zend-memory-manager" option,
1013 * New memory manager1014 The Zend Engine has a new memory manager which allows it to run efficiently
18 // This test is dependent on the behavior of the memory manager
133 LSAPI_AVOID_FORK specifies the policy of the internal process manager in134 "Self Managed Mode". When set to 0, the internal process manager will stop137 process manager will try to avoid freqently stopping and starting children
18 gdbm GDBM is the GNU database manager.
28 confirmation from the release manager for the given branch.
293 I've taken some great pains to hook into the Zend memory manager to help track
928 . Implemented FR #52569 (Add the "ondemand" process-manager4736 . use "win32" storage manager (instead of "malloc") on Windows by default5151 - Improved the Zend memory manager: (Dmitry)5152 . Removed unnecessary "--disable-zend-memory-manager" configure option.5155 . Allow tweaking the memory manager with ZEND_MM_MEM_TYPE and ZEND_MM_SEG_SIZE6163 - Removed garbage manager in Zend Engine which results in more aggressive
182 ; Choose how the process manager will control the number of child processes.248 ; process manager - static, dynamic or ondemand;268 ; process manager: static
1065 0 string DVDVIDEO-VMG Video manager,8421 0 string \361\0\100\273 CMU window manager raster image data12366 >6 byte&0xf0 0xD0 file manager12397 >0x12 byte 13 file manager
2201 *** may want to report the problem to your system manager and/or to
Completed in 78 milliseconds