-
Notifications
You must be signed in to change notification settings - Fork 0
/
en_root-servers.net.php
112 lines (85 loc) · 4.09 KB
/
en_root-servers.net.php
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="EN" lang="EN">
<head>
<title>DNS-ZONE.NET - Nameserver Map</title>
<meta http-equiv="content-type" content="text/html;charset=utf-8" />
<meta http-equiv="content-script-type" content="text/javascript" />
<meta http-equiv="content-style-type" content="text/css" />
<meta http-equiv="content-language" content="en" />
<meta name="generator" content="Pico" />
<link rel="stylesheet" type="text/css" href="https://www.dns-zone.net/map/map.css" />
<script type="text/javascript" src="https://www.dns-zone.net/map/openlayers/OpenLayers.js"></script>
<script type="text/javascript" src="https://www.openstreetmap.org/openlayers/OpenStreetMap.js"></script>
<script type="text/javascript" src="https://www.dns-zone.net/map/util.js"></script>
<script type="text/javascript">
//<![CDATA[
var map;
var showPopupOnHover = true;
text = new Array("Show map information","Hide map information");
function drawmap() {
OpenLayers.Lang.setCode('en');
map = new OpenLayers.Map('map', {
projection: new OpenLayers.Projection("EPSG:900913"),
displayProjection: new OpenLayers.Projection("EPSG:4326"),
controls: [
new OpenLayers.Control.MouseDefaults(),
new OpenLayers.Control.Attribution()],
maxExtent:
new OpenLayers.Bounds(-20037508.34,-20037508.34,
20037508.34, 20037508.34),
numZoomLevels: 18,
maxResolution: 156543,
units: 'meters'
});
// Add more controls..
map.addControl(new OpenLayers.Control.LayerSwitcher());
map.addControl(new OpenLayers.Control.PanZoomBar());
// Position and zoom of the map 6,47
lon = -30;
lat = 53;
zoom = 3;
checkForPermalink();
// Add layers
layer_markers = new OpenLayers.Layer.Markers("Marker", { projection: new OpenLayers.Projection("EPSG:4326"),visibility: true, displayInLayerSwitcher: false });
layer_vectors = new OpenLayers.Layer.Vector("Drawings", { displayInLayerSwitcher: false } );map.addLayer(layer_vectors);map.addLayer(layer_markers)
layers = new Array();
//layer_layerMapnik = new OpenLayers.Layer.OSM.Mapnik("Mapnik");
layer_layerMapnik = new OpenLayers.Layer.OSM(
"OpenStreetMap",
[
'//a.tile.openstreetmap.org/${z}/${x}/${y}.png',
'//b.tile.openstreetmap.org/${z}/${x}/${y}.png',
'//c.tile.openstreetmap.org/${z}/${x}/${y}.png'
],
null);
map.addLayer(layer_layerMapnik)
layers.push(new Array(layer_layerMapnik,'layer_layerMapnik'));
setLayer(0);
// Jump to the right position and zoom..
jumpTo(lon,lat,zoom);
// Add used maker icons..
icons = new Array();
icons[0] = new Array('https://www.dns-zone.net/map/images/pin_green.png','12','21','0','1');
icons[1] = new Array('https://www.dns-zone.net/map/images/pin_red.png','12','21','0','1');
icons[2] = new Array('https://www.dns-zone.net/map/images/pin_blue.png','12','21','0','1');
// Add markers
<?php include ("map.root-servers.net"); ?>
geometries = new Array();
jumpTo(lon, lat, zoom);
checkUtilVersion(4);
}
//]]>
</script>
</head>
<body onload="drawmap();">
<div id="descriptionToggle" onclick="toggleInfo()">Show map information</div>
<div id="description" class="hide">This map shows all 13 root name servers, and checks them automatically for his
Reachability. This is then displayed graphically on the map in the form of a green or red pin.<br><br><img src=https://www.dns-zone.net/map/images/gruen.png width=8
height=8> = Nameserver is Online<br><img src=https://www.dns-zone.net/map/images/rot.png width=8
height=8> = Nameserver is Offline<br><br><small>Stand: <?php $datum = date("d.m.Y"); echo $datum; ?> um <?php $uhrzeit = date("H:i:s"); echo $uhrzeit;
?> Uhr</small><br><br>This script was sponsored by <a href=http://www.dns-zone.net>www.dns-zone.net</a></div>
<div id="map"></div>
<div class="hide"><p>If you see this text, you opened the map HTML-File without the necessary files. If you tried to download the map, the download dialog may not have
opened for some reason. In this case just save this page.</p></div>
</body>
</html>