Index: third_party/WebKit/Source/core/workers/WorkerThread.h |
diff --git a/third_party/WebKit/Source/core/workers/WorkerThread.h b/third_party/WebKit/Source/core/workers/WorkerThread.h |
index 76c05fb3705ec9abc833b1f6d48f3f30416a3cb5..ef70bad4406db28836f50ea1f33c75887c824a1f 100644 |
--- a/third_party/WebKit/Source/core/workers/WorkerThread.h |
+++ b/third_party/WebKit/Source/core/workers/WorkerThread.h |
@@ -192,6 +192,7 @@ |
}; |
void terminateInternal(TerminationMode); |
+ void forciblyTerminateExecution(); |
// Returns true if termination or shutdown sequence has started. This is |
// thread safe. |