Benutzer:PDD/httpPing.js
Zur Navigation springen
Zur Suche springen
Hinweis: Leere nach dem Veröffentlichen den Browser-Cache, um die Änderungen sehen zu können.
- Firefox/Safari: Umschalttaste drücken und gleichzeitig Aktualisieren anklicken oder entweder Strg+F5 oder Strg+R (⌘+R auf dem Mac) drücken
- Google Chrome: Umschalttaste+Strg+R (⌘+Umschalttaste+R auf dem Mac) drücken
- Internet Explorer/Edge: Strg+F5 drücken oder Strg drücken und gleichzeitig Aktualisieren anklicken
- Opera: Strg+F5
// Beispielanwendung:
// importPage('Benutzer:PDD/httpPing.js');
// if (httpPing('http://tools.wikimedia.de/~aka/dewiki_admins_utf8.txt'))
// {
// ... z.B. Datei importieren
// }
// else
// {
// ... stattdessen was anderes machen
// }
function httpPing(url)
{
var returncode = false;
// nächster Teil nur bei lokaler Benutzung nötig
// try {
// netscape.security.PrivilegeManager.enablePrivilege("UniversalBrowserRead");
// } catch (e) {
// alert("Permission UniversalBrowserRead denied.");
// }
var xmlhttp=false;
// Mozilla etc.
if (!xmlhttp && typeof XMLHttpRequest!='undefined') {
try {
xmlhttp = new XMLHttpRequest();
} catch (e) {
xmlhttp=false;
}
}
// Internet Explorer
if (!xmlhttp && window.createRequest) {
try {
xmlhttp = window.createRequest();
} catch (e) {
xmlhttp=false;
}
}
// dritter Parameter false --> synchron
xmlhttp.open("HEAD", url, false);
xmlhttp.send(null)
var serverStatus = xmlhttp.status;
if (serverStatus == 200) returncode = true;
return (returncode);
}