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() local467 PspellManager *manager; in PHP_FUNCTION() local497 PspellManager *manager; in PHP_FUNCTION() local520 PspellManager *manager; in PHP_FUNCTION() local554 PspellManager *manager; in PHP_FUNCTION() local579 PspellManager *manager; in PHP_FUNCTION() local609 PspellManager *manager; in PHP_FUNCTION() local638 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
2789 . Implemented FR #52569 (Add the "ondemand" process-manager6597 . use "win32" storage manager (instead of "malloc") on Windows by default7012 - Improved the Zend memory manager: (Dmitry)7013 . Removed unnecessary "--disable-zend-memory-manager" configure option.7016 . Allow tweaking the memory manager with ZEND_MM_MEM_TYPE and ZEND_MM_SEG_SIZE8024 - Removed garbage manager in Zend Engine which results in more aggressive
190 ; Choose how the process manager will control the number of child processes.256 ; process manager - static, dynamic or ondemand;276 ; process manager: static
1075 0 string DVDVIDEO-VMG Video manager,9982 0 string \361\0\100\273 CMU window manager raster image data14554 >6 byte&0xf0 0xD0 file manager14585 >0x12 byte 13 file manager
2197 *** may want to report the problem to your system manager and/or to
Completed in 92 milliseconds