зеркало из https://github.com/mozilla/gecko-dev.git
Bug 1207696 Part 6d - Disable wasm signal handlers when recording or replaying, r=luke.
--HG-- extra : rebase_source : e676401e9440149f36a048973433dbf3625d1a24
This commit is contained in:
Родитель
e897f52beb
Коммит
a5d872c73b
|
@ -1398,6 +1398,10 @@ ProcessHasSignalHandlers()
|
|||
return false;
|
||||
#endif
|
||||
|
||||
// Signal handlers are currently disabled when recording or replaying.
|
||||
if (mozilla::recordreplay::IsRecordingOrReplaying())
|
||||
return false;
|
||||
|
||||
#if defined(ANDROID) && defined(MOZ_LINKER)
|
||||
// Signal handling is broken on some android systems.
|
||||
if (IsSignalHandlingBroken())
|
||||
|
|
Загрузка…
Ссылка в новой задаче