☰

DC_auto_refresh

Refresh the window if no network activity for a while.

目前为 2015-07-18 提交的版本。查看 最新版本。

  1. // ==UserScript==
  2. // @name		DC_auto_refresh
  3. // @author		Ladoria
  4. // @version		0.5
  5. // @grant       none
  6. // @description	Refresh the window if no network activity for a while.
  7. // @match		http://www.dreadcast.net/Main
  8. // @copyright	2015+, Ladoria
  9. // @namespace InGame
  10. // ==/UserScript==
  11.  
  12. var last_refresh = new Date();
  13. var request_attempts = 0;
  14. var attempts_limit = 1;
  15. var refresh_time_limit = 120000; // In ms. Time limit to refresh again.
  16. var abort_time_fixed = refresh_time_limit / 1000;
  17. var abort_time = abort_time_fixed;
  18. var workingInterval = undefined;
  19. var pause_script = false;
  20.  
  21. var alert_messages = new Array()
  22. alert_messages.ask_to_reload = 'Attention, vous semblez avoir été déconnecté. Rechargement de la page dans <span class="seconds"></span> seconde(s) <br><div class="btnTxt abort"><div>Annuler</div></div>&nbsp;&nbsp;<div class="btnTxt reload"><div>Recharger</div></div>';
  23. alert_messages.unconnected = 'Attention, vous semblez toujours déconnecté.'
  24. alert_messages.connected = 'Vous semblez avoir été reconnecté.&nbsp;&nbsp;<div class="btnTxt hide"><div>OK</div></div>'
  25.  
  26. $(document).ready( function() {
  27. 	$('head').append('<style>#auto_refresh  {display: none;position: absolute;top: 31px;width: 100%;z-index:1000000;text-align: center;}#auto_refresh .alert  {display: inline-block;padding: 5px;color:red;background-color: white;text-align: center;font-size: 20px;position: relative;}#auto_refresh .alert .abort, #auto_refresh .alert .reload, #auto_refresh .alert .hide  {display: inline-block;margin-top: 10px;width: 100px;}</style>');
  28. 	$("body").append('<div id="auto_refresh"><div class="alert fakeToolTip"></div></div>');
  29. 	
  30. 	function show_alert(message) {
  31. 		$('#auto_refresh .alert').html(alert_messages[message]);
  32. 		
  33. 		if('ask_to_reload' == message) {
  34. 			abort_time = abort_time_fixed;
  35. 			
  36. 			$('#auto_refresh .seconds').html(abort_time);
  37. 			refresh_abort_time();
  38. 			
  39. 			// Abort reload
  40. 			// User want to abort, then notify user and pause script
  41. 			$('#auto_refresh .abort').on('click', function() {				
  42. 				abort_reload();
  43. 		
  44. 				pause_script = true;
  45. 				
  46. 				show_alert('unconnected');
  47. 			});
  48. 			
  49. 			// Do reload
  50. 			$('#auto_refresh .reload').on('click', function() {
  51. 				do_reload();
  52. 			});
  53. 		}
  54. 		else if ('connected' == message) {
  55. 			// hide alert
  56. 			$('#auto_refresh .hide').on('click', function() {
  57. 				hide_alert();
  58. 			});
  59. 		}
  60. 		
  61. 		$('#auto_refresh').show();
  62. 	}
  63. 	
  64. 	function hide_alert() {
  65. 		$('#auto_refresh').hide();
  66. 	}
  67. 	
  68. 	function refresh_abort_time() {
  69. 		$('#auto_refresh .seconds').html(abort_time);
  70. 		
  71. 		workingInterval = setInterval( function() {
  72. 			if(0 < abort_time)
  73. 				abort_time--;
  74. 			
  75. 			$('#auto_refresh .seconds').html(abort_time);
  76. 		}, 1000);
  77. 	}
  78. 	
  79. 	// Stop countdown
  80. 	function abort_reload() {
  81. 		clearInterval(workingInterval);
  82. 		
  83. 		request_attempts = 0;
  84. 	}
  85. 	
  86. 	// Reload window
  87. 	function do_reload() {
  88. 		// Useless, but lovely
  89. 		last_refresh = new Date();
  90. 		request_attempts = 0;
  91. 		
  92. 		window.location.reload();
  93. 	}
  94.  
  95. 	// Countdown to reload window
  96. 	setInterval(function() {
  97. 		if(true == pause_script) return;
  98. 	
  99. 		var date_now = new Date().getTime();
  100. 		
  101. 		// If no network activity for a while, reload.
  102. 		if (request_attempts >= attempts_limit) {
  103. 			// If no alert visible, show it
  104. 			if($('#auto_refresh').is(":hidden")) {
  105. 				show_alert('ask_to_reload');
  106. 				
  107. 				// Delay to refresh
  108. 				last_refresh = new Date();
  109. 			}
  110. 				
  111. 			// If reload failed, waiting for a while and after delay to refresh
  112. 			if (date_now - last_refresh.getTime() >= refresh_time_limit) {
  113. 				
  114. 				do_reload();
  115. 			}
  116. 		}
  117. 	}, 1000);
  118. 	
  119. 	// Update request attempt number
  120. 	$(document).ajaxComplete( function(a,b,c) {
  121. 		if(/Check/.test(c.url)) {
  122. 			// If request succeeded
  123. 			if(b.readyState == 4) {
  124. 				request_attempts = 0;
  125. 				
  126. 				// If connected again, resume script and notify
  127. 				if(true == pause_script) {
  128. 					pause_script = false;
  129. 					show_alert('connected');
  130. 					
  131. 					abort_reload();
  132. 				}
  133. 			}
  134. 			else
  135. 				request_attempts++;
  136. 		}
  137. 	});
  138. });
  139. console.log('DC - Auto Refresh started');