Halaman utama (halaman yang perlu di-refresh) membutuhkan waktu sistem untuk di-refresh setiap menit
//Buat objek httpRequestgetSystemTime.jsp //Mendapatkan waktu sistem saat ini, yang merupakan halaman yang menampilkan hasilnya
<%@ page Language="java" %>
<%@ halaman contentType="teks/html;charset=GB2312" %>
<%@ halaman import="java.util.Date"%>
<%@ halaman import="java.sql.Stempel Waktu"%>
<%@ halaman import="java.io.IOException"%>
<%
Tanggal d = Tanggal baru();
Stempel waktu ts = Stempel Waktu baru(d.getTime());
Hasil string = ts.toString().substring(0,16);
keluar.tulis(hasil,0,hasil.panjang());
%>
ajax.js
fungsi makeRequest(url) {
http_permintaan = salah;
if (jendela.XMLHttpRequest) {
http_request = XMLHttpRequest baru();
jika (http_request.overrideMimeType){
http_request.overrideMimeType('teks/xml');
}
} else if (jendela.ActiveXObject) {
mencoba{
http_request = new ActiveXObject("Msxml2.XMLHTTP");
} tangkapan (e) {
mencoba {
http_request = new ActiveXObject("Microsoft.XMLHTTP");
} tangkapan (e) {
}
}
}
jika (!http_request) {
alert("Browser Anda tidak mendukung operasi saat ini, silakan gunakan IE 5.0 atau lebih tinggi!");
kembali salah;
}
//Tentukan metode init yang dipanggil oleh halaman, bukan init();
http_request.onreadystatechange = init;
http_request.open('GET', url, true);
//Nonaktifkan cache IE
http_request.setRequestHeader("Jika-Dimodifikasi-Sejak","0");
//Kirim data
http_request.send(null);
//Segarkan halaman setiap 60 detik
setTimeout("makeRequest('"+url+"')", 60000);
}
fungsi init() {
jika (http_request.readyState == 4) {
if (http_request.status == 0 || http_request.status == 200) {
var hasil = http_request.responseText;
jika(hasil==""){
result = "Gagal mendapatkan waktu sistem";
}
document.getElementById ("sysTimeShow").innerHTML="Waktu sistem platform:"+hasil;
} lain {//http_request.status != 200
alert("Permintaan gagal!");
}
}
}