Searched refs:registry_event (Results 1 – 3 of 3) sorted by relevance
/PHP-5.3/win32/ |
H A D | globals.c | 45 if (wg->registry_event) { in php_win32_core_globals_dtor() 46 CloseHandle(wg->registry_event); in php_win32_core_globals_dtor() 47 wg->registry_event = NULL; in php_win32_core_globals_dtor()
|
H A D | registry.c | 192 PW32G(registry_event) = CreateEvent(NULL, TRUE, FALSE, NULL); in UpdateIniFromRegistry() 193 if (PW32G(registry_event)) { in UpdateIniFromRegistry() 194 RegNotifyChangeKeyValue(PW32G(registry_key), TRUE, RegNotifyFlags, PW32G(registry_event), TRUE); in UpdateIniFromRegistry() 199 …} else if (PW32G(registry_event) && WaitForSingleObject(PW32G(registry_event), 0) == WAIT_OBJECT_0… in UpdateIniFromRegistry() 200 RegNotifyChangeKeyValue(PW32G(registry_key), TRUE, RegNotifyFlags, PW32G(registry_event), TRUE); in UpdateIniFromRegistry()
|
H A D | php_win32_globals.h | 42 HANDLE registry_event; member
|
Completed in 7 milliseconds