| a/wvdetection.js | b/wvdetection.js | ||
|---|---|---|---|
... |
... |
||
| 761 | clearTimeout(this.timerID); |
761 | clearTimeout(this.timerID); |
| 762 | this.timerID = -1; |
762 | this.timerID = -1; |
| 763 | console.log("Received messages. Killing timer!"); |
763 | console.log("Received messages. Killing timer!"); |
| 764 | } |
764 | } |
| 765 | var message = event.data; |
765 | var message = event.data; |
| 766 | console.log(message); |
||
| 767 | if (message === "--INFO--\"Still polling the registration of the visualization. Is the visu stopped?\"") { |
766 | if (message === "--INFO--\"Still polling the registration of the visualization. Is the visu stopped?\"") { |
| 768 | console.log("Webvisu stopped? Switching to different url!"); |
767 | console.log("Webvisu stopped? Switching to different url!"); |
| 769 | setTimeout(function() {self.switchToDifferentUrl()}, 1000); |
768 | setTimeout(function() {self.switchToDifferentUrl()}, 1000); |
| 770 | } |
769 | } |
| 771 | if (message === "Error while processing the visualization: Sending service aborted") { |
770 | if (message === "Error while processing the visualization: Sending service aborted") { |