DC_auto_refresh

Refresh the windows if no network activity for a while.

2015/07/16のページです。最新版はこちら

スクリプトをインストールするには、Tampermonkey, GreasemonkeyViolentmonkey のような拡張機能のインストールが必要です。

You will need to install an extension such as Tampermonkey to install this script.

スクリプトをインストールするには、TampermonkeyViolentmonkey のような拡張機能のインストールが必要です。

スクリプトをインストールするには、TampermonkeyUserscripts のような拡張機能のインストールが必要です。

このスクリプトをインストールするには、Tampermonkeyなどの拡張機能をインストールする必要があります。

このスクリプトをインストールするには、ユーザースクリプト管理ツールの拡張機能をインストールする必要があります。

(ユーザースクリプト管理ツールは設定済みなのでインストール!)

このスタイルをインストールするには、Stylusなどの拡張機能をインストールする必要があります。

このスタイルをインストールするには、Stylus などの拡張機能をインストールする必要があります。

このスタイルをインストールするには、Stylus tなどの拡張機能をインストールする必要があります。

このスタイルをインストールするには、ユーザースタイル管理用の拡張機能をインストールする必要があります。

このスタイルをインストールするには、ユーザースタイル管理用の拡張機能をインストールする必要があります。

このスタイルをインストールするには、ユーザースタイル管理用の拡張機能をインストールする必要があります。

(ユーザースタイル管理ツールは設定済みなのでインストール!)

このスクリプトの質問や評価の投稿はこちら通報はこちらへお寄せください
// ==UserScript==
// @name		DC_auto_refresh
// @author		Ladoria
// @version		0.3
// @grant       none
// @description	Refresh the windows if no network activity for a while.
// @match		http://www.dreadcast.net/Main
// @copyright	2015+, Ladoria
// @namespace InGame
// ==/UserScript==

var last_request = new Date();
var last_refresh = new Date();
var request_time_limit = 10000; // In ms. Time limit to refresh.
var refresh_time_limit = 10000; // In ms. Time limit to refresh again.

$(document).ready( function() {
	setInterval( function() {
		var date_now = new Date().getTime();
		
		// If no network activity for a while, reload.
		if (date_now - last_request.getTime() >= request_time_limit) {
			if (date_now - last_refresh.getTime() >= refresh_time_limit) {
				window.location.reload();
				last_refresh = new Date();
			}
		}
	}, 1000);
	
	// Update last request time
	$(document).ajaxComplete( function(a,b,c) {
		last_request = new Date();
	});
});
console.log('DC - Auto Refresh started');