| Index: Source/core/dom/ScriptLoader.h
|
| diff --git a/Source/core/dom/ScriptLoader.h b/Source/core/dom/ScriptLoader.h
|
| index 7c2ce1b03107675ca6d4abc01b4f1f041438ad5d..c03a7e9b800fced58ce8ad2fdb550388b7efb5c7 100644
|
| --- a/Source/core/dom/ScriptLoader.h
|
| +++ b/Source/core/dom/ScriptLoader.h
|
| @@ -53,7 +53,8 @@ public:
|
|
|
| String scriptCharset() const { return m_characterEncoding; }
|
| String scriptContent() const;
|
| - void executeScript(const ScriptSourceCode&, double* compilationFinishTime = 0);
|
| + // Returns false if and only if execution was blocked.
|
| + bool executeScript(const ScriptSourceCode&, double* compilationFinishTime = 0);
|
| virtual void execute();
|
|
|
| // XML parser calls these
|
|
|