equal
deleted
inserted
replaced
12126 </xsl:text> |
12126 </xsl:text> |
12127 <xsl:text>}); |
12127 <xsl:text>}); |
12128 </xsl:text> |
12128 </xsl:text> |
12129 <xsl:text> |
12129 <xsl:text> |
12130 </xsl:text> |
12130 </xsl:text> |
12131 <xsl:text>var screensaver_timer = null; |
12131 <xsl:text>if(screensaver_delay){ |
12132 </xsl:text> |
12132 </xsl:text> |
12133 <xsl:text>function reset_screensaver_timer() { |
12133 <xsl:text> var screensaver_timer = null; |
12134 </xsl:text> |
12134 </xsl:text> |
12135 <xsl:text> if(screensaver_timer){ |
12135 <xsl:text> function reset_screensaver_timer() { |
12136 </xsl:text> |
12136 </xsl:text> |
12137 <xsl:text> window.clearTimeout(screensaver_timer); |
12137 <xsl:text> if(screensaver_timer){ |
|
12138 </xsl:text> |
|
12139 <xsl:text> window.clearTimeout(screensaver_timer); |
|
12140 </xsl:text> |
|
12141 <xsl:text> } |
|
12142 </xsl:text> |
|
12143 <xsl:text> screensaver_timer = window.setTimeout(() => { |
|
12144 </xsl:text> |
|
12145 <xsl:text> switch_page("ScreenSaver"); |
|
12146 </xsl:text> |
|
12147 <xsl:text> screensaver_timer = null; |
|
12148 </xsl:text> |
|
12149 <xsl:text> }, screensaver_delay*1000); |
12138 </xsl:text> |
12150 </xsl:text> |
12139 <xsl:text> } |
12151 <xsl:text> } |
12140 </xsl:text> |
12152 </xsl:text> |
12141 <xsl:text> screensaver_timer = window.setTimeout(() => { |
12153 <xsl:text> document.body.addEventListener('pointerdown', reset_screensaver_timer); |
12142 </xsl:text> |
12154 </xsl:text> |
12143 <xsl:text> switch_page("ScreenSaver"); |
12155 <xsl:text> // initialize screensaver |
12144 </xsl:text> |
12156 </xsl:text> |
12145 <xsl:text> screensaver_timer = null; |
12157 <xsl:text> reset_screensaver_timer(); |
12146 </xsl:text> |
|
12147 <xsl:text> }, screensaver_delay*1000); |
|
12148 </xsl:text> |
12158 </xsl:text> |
12149 <xsl:text>} |
12159 <xsl:text>} |
12150 </xsl:text> |
12160 </xsl:text> |
12151 <xsl:text>if(screensaver_delay) |
12161 <xsl:text> |
12152 </xsl:text> |
|
12153 <xsl:text> document.body.addEventListener('pointerdown', reset_screensaver_timer); |
|
12154 </xsl:text> |
12162 </xsl:text> |
12155 <xsl:text> |
12163 <xsl:text> |
12156 </xsl:text> |
12164 </xsl:text> |
12157 <xsl:text>function detach_detachables() { |
12165 <xsl:text>function detach_detachables() { |
12158 </xsl:text> |
12166 </xsl:text> |
12472 </xsl:text> |
12480 </xsl:text> |
12473 <xsl:text>switch_page(default_page); |
12481 <xsl:text>switch_page(default_page); |
12474 </xsl:text> |
12482 </xsl:text> |
12475 <xsl:text> |
12483 <xsl:text> |
12476 </xsl:text> |
12484 </xsl:text> |
12477 <xsl:text>// initialize screensaver |
|
12478 </xsl:text> |
|
12479 <xsl:text>reset_screensaver_timer(); |
|
12480 </xsl:text> |
|
12481 <xsl:text> |
|
12482 </xsl:text> |
|
12483 <xsl:text>var reconnect_delay = 0; |
12485 <xsl:text>var reconnect_delay = 0; |
12484 </xsl:text> |
12486 </xsl:text> |
12485 <xsl:text>var periodic_reconnect_timer; |
12487 <xsl:text>var periodic_reconnect_timer; |
12486 </xsl:text> |
12488 </xsl:text> |
|
12489 <xsl:text>var force_reconnect = false; |
|
12490 </xsl:text> |
12487 <xsl:text> |
12491 <xsl:text> |
12488 </xsl:text> |
12492 </xsl:text> |
12489 <xsl:text>// Once connection established |
12493 <xsl:text>// Once connection established |
12490 </xsl:text> |
12494 </xsl:text> |
12491 <xsl:text>function ws_onopen(evt) { |
12495 <xsl:text>function ws_onopen(evt) { |
12502 </xsl:text> |
12506 </xsl:text> |
12503 <xsl:text> } |
12507 <xsl:text> } |
12504 </xsl:text> |
12508 </xsl:text> |
12505 <xsl:text> periodic_reconnect_timer = window.setTimeout(() => { |
12509 <xsl:text> periodic_reconnect_timer = window.setTimeout(() => { |
12506 </xsl:text> |
12510 </xsl:text> |
|
12511 <xsl:text> force_reconnect = true; |
|
12512 </xsl:text> |
12507 <xsl:text> ws.close(); |
12513 <xsl:text> ws.close(); |
12508 </xsl:text> |
12514 </xsl:text> |
12509 <xsl:text> periodic_reconnect_timer = null; |
12515 <xsl:text> periodic_reconnect_timer = null; |
12510 </xsl:text> |
12516 </xsl:text> |
12511 <xsl:text> }, 3600000); |
12517 <xsl:text> }, 3600000); |
12538 </xsl:text> |
12544 </xsl:text> |
12539 <xsl:text> console.log("Connection closed. code:"+evt.code+" reason:"+evt.reason+" wasClean:"+evt.wasClean+" Reload in "+reconnect_delay+"ms."); |
12545 <xsl:text> console.log("Connection closed. code:"+evt.code+" reason:"+evt.reason+" wasClean:"+evt.wasClean+" Reload in "+reconnect_delay+"ms."); |
12540 </xsl:text> |
12546 </xsl:text> |
12541 <xsl:text> ws = null; |
12547 <xsl:text> ws = null; |
12542 </xsl:text> |
12548 </xsl:text> |
12543 <xsl:text> // reconect |
12549 <xsl:text> // Do not attempt to reconnect immediately in case: |
12544 </xsl:text> |
12550 </xsl:text> |
12545 <xsl:text> // TODO : add visible notification while waiting for reload |
12551 <xsl:text> // - connection was closed by server (PLC stop) |
|
12552 </xsl:text> |
|
12553 <xsl:text> // - connection was closed locally with an intention to reconnect |
|
12554 </xsl:text> |
|
12555 <xsl:text> if(evt.code=1000 && !force_reconnect){ |
|
12556 </xsl:text> |
|
12557 <xsl:text> window.alert("Connection closed by server"); |
|
12558 </xsl:text> |
|
12559 <xsl:text> location.reload(); |
|
12560 </xsl:text> |
|
12561 <xsl:text> } |
12546 </xsl:text> |
12562 </xsl:text> |
12547 <xsl:text> window.setTimeout(create_ws, reconnect_delay); |
12563 <xsl:text> window.setTimeout(create_ws, reconnect_delay); |
12548 </xsl:text> |
12564 </xsl:text> |
12549 <xsl:text> reconnect_delay += 500; |
12565 <xsl:text> reconnect_delay += 500; |
|
12566 </xsl:text> |
|
12567 <xsl:text> force_reconnect = false; |
12550 </xsl:text> |
12568 </xsl:text> |
12551 <xsl:text>}; |
12569 <xsl:text>}; |
12552 </xsl:text> |
12570 </xsl:text> |
12553 <xsl:text> |
12571 <xsl:text> |
12554 </xsl:text> |
12572 </xsl:text> |