Searched refs:registry_event (Results 1 – 3 of 3) sorted by relevance
| /PHP-7.0/win32/ |
| H A D | globals.c | 49 if (wg->registry_event) { in php_win32_core_globals_dtor()
50 CloseHandle(wg->registry_event); in php_win32_core_globals_dtor()
51 wg->registry_event = NULL; in php_win32_core_globals_dtor()
|
| H A D | registry.c | 201 PW32G(registry_event) = CreateEvent(NULL, TRUE, FALSE, NULL); in UpdateIniFromRegistry()
202 if (PW32G(registry_event)) { in UpdateIniFromRegistry()
203 RegNotifyChangeKeyValue(PW32G(registry_key), TRUE, RegNotifyFlags, PW32G(registry_event), TRUE); in UpdateIniFromRegistry()
208 …} else if (PW32G(registry_event) && WaitForSingleObject(PW32G(registry_event), 0) == WAIT_OBJECT_0… in UpdateIniFromRegistry()
209 RegNotifyChangeKeyValue(PW32G(registry_key), TRUE, RegNotifyFlags, PW32G(registry_event), TRUE); in UpdateIniFromRegistry()
|
| H A D | php_win32_globals.h | 44 HANDLE registry_event; member
|
Completed in 12 milliseconds
