Index: trunk/extensions/TimedMediaHandler/MwEmbedModules/EmbedPlayer/resources/mw.EmbedPlayerJava.js |
— | — | @@ -199,7 +199,11 @@ |
200 | 200 | this.parent_pause(); |
201 | 201 | // Call the pause function if it exists: |
202 | 202 | if ( this.playerElement ) { |
203 | | - this.playerElement.pause(); |
| 203 | + try{ |
| 204 | + this.playerElement.pause(); |
| 205 | + }catch( e ){ |
| 206 | + mw.log("EmbedPlayerJava::Could not issue pause request"); |
| 207 | + } |
204 | 208 | } |
205 | 209 | } |
206 | 210 | }; |