diff options
Diffstat (limited to 'Tools/WebKitTestRunner/TestController.h')
-rw-r--r-- | Tools/WebKitTestRunner/TestController.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Tools/WebKitTestRunner/TestController.h b/Tools/WebKitTestRunner/TestController.h index fe37952..0630e2b 100644 --- a/Tools/WebKitTestRunner/TestController.h +++ b/Tools/WebKitTestRunner/TestController.h @@ -83,7 +83,7 @@ private: void didFinishLoadForFrame(WKPageRef page, WKFrameRef frame); static void processDidCrash(WKPageRef, const void* clientInfo); - void processDidCrash(WKPageRef); + void processDidCrash(); static WKPageRef createOtherPage(WKPageRef oldPage, WKDictionaryRef, WKEventModifiers, WKEventMouseButton, const void*); @@ -117,6 +117,9 @@ private: double m_longTimeout; double m_shortTimeout; + + bool m_didPrintWebProcessCrashedMessage; + bool m_shouldExitWhenWebProcessCrashes; }; } // namespace WTR |