View difference between Paste ID: <a href="/adB1nq8S">adB1nq8S</a> and <a href="/post/view"></a>

View difference between Paste ID: adB1nq8S and

SHOW: | | - or go back to the newest paste.


<html xmlns="http://www.w3.org/1999/xhtml" >
    <head>
       <title>Next time RTFM</title>
        <script src="../resources/js/ext-3.4.0/ext-base.js" type="text/javascript"></script>
        <script src="../resources/js/ext-3.4.0/ext-all.js"  type="text/javascript"></script>
        <link rel="stylesheet" type="text/css" href="../resources/js/ext-3.4.0/resources/css/ext-all.css"></link>
       
        <script src="../resources/js/OpenLayers/OpenLayers.js" type="text/javascript"></script>
        <link rel="stylesheet" href="../resources/js/OpenLayers/theme/default/style.css" type="text/css" />
       
        <script src="../resources/js/GeoExt/GeoExt.js" type="text/javascript"></script>        
        <link rel="stylesheet" type="text/css" href="../resources/js/GeoExt/css/geoext-all.css"></link>
		<script src='http://maps.google.com/maps?file=api&amp;v=2&amp;key=key'></script>

        <style type="text/css">
            html, body, #map {
                margin: 0;
                width: 100%;
                height: 100%;
            }

            #text {
                position: absolute;
                bottom: 1em;
                left: 1em;
                width: 512px;
                z-index: 20000;
                background-color: white;
                padding: 0 0.5em 0.5em 0.5em;
            }
        </style>

        <script type="text/JavaScript">
            function RefreshPage(Period) 
            {
                setTimeout("location.reload(true);", Period);
            }
            var Today = new Date();
            var day = Today.getDate();
            var month = Today.getMonth();
            var year = Today.getFullYear();
            var hours = Today.getHours();
            var minutes = Today.getMinutes();
            var seconds = Today.getSeconds();
            document.write(hours + ":" + minutes + ":" + seconds)
        </script>
        <script type="text/javascript">
            var lon = 85.31;
            var lat = 27.67;
            var zoom = 9;
            var map, layers;
            var info;
            var url = "http://localhost/geoserver/wms";
            function init(){	
			    
						
                map = new OpenLayers.Map('map', {
                    projection: new OpenLayers.Projection("EPSG:900913"),
                    displayProjection: new OpenLayers.Projection("EPSG:4326"),
                    numZoomLevels: 21,
                    maxExtent: new OpenLayers.Bounds(-20037508, -20037508,20037508, 20037508.34),	
                    controls: [
                        new OpenLayers.Control.Navigation(),
                        new OpenLayers.Control.PanZoomBar(),
                        new OpenLayers.Control.LayerSwitcher({'ascending':false}),                       
                        new OpenLayers.Control.ScaleLine(),
                        new OpenLayers.Control.MousePosition(),
                        new OpenLayers.Control.OverviewMap(),
                        new OpenLayers.Control.KeyboardDefaults()
                    ]	
					
                    
                });
			
				
				
                var nplBorder = new OpenLayers.Layer.WMS( "Border",
                url, 
                {layers: 'GisData:INTERNATION_BORDER'}
            );
					
                var dsBand = new OpenLayers.Layer.WMS( "Band",
                url, 
                {layers: 'GisData:DISTRICT_BND'}
            );					
		                              
              
                
                var site = new OpenLayers.Layer.WMS( "site",
                url, 
                {layers: 'GisData:sites', transparent: "true",format: "image/png"}             
            );
			  
			  
	   var g_pmap = new OpenLayers.Layer.Google(
                "Google Physical",				
                {type: G_PHYSICAL_MAP,'sphericalMercator': true}
				
				);
				
				var gmap_gs = new OpenLayers.Layer.Google(
					"Google Streets"// the default				
				{'sphericalMercator': true}
				);
				
				var gmap_ghy  = new OpenLayers.Layer.Google(
					"Google Hybrid",
					{type: G_HYBRID_MAP,'sphericalMercator': true}
				);
				
				var gmap_gsat = new OpenLayers.Layer.Google(
					"Google Satellite",
					{type: G_SATELLITE_MAP,'sphericalMercator': true}
					
				)
			
			    site.setIsBaseLayer(false);
               
                
                
                map.addLayer(Border);
                map.addLayer(Band);
                map.addLayer(Site);
                  
		// why didn't you add the Google layers???
map.add(g_pmap);
map.add(gmap_gs);			
map.add(gmap_ghy);
map.add(gmap_gsat);
				
		info = new OpenLayers.Control.WMSGetFeatureInfo({
            url: "http://localhost/geoserver/wms",
            title: 'Identify features by clicking',
            queryVisible: true,
            eventListeners: {
                getfeatureinfo: function(event) {
                    map.addPopup(new OpenLayers.Popup.FramedCloud(
                        "chicken", 
                        map.getLonLatFromPixel(event.xy),
                        null,
                        event.text,
                        null,
                        true
                    ));
                }
            }
        });
		 map.addControl(info);
        info.activate();

                map.setCenter(new OpenLayers.LonLat(lon, lat), zoom);
		
            
            }
        </script>
    </head>
    <body onload="init();">  

        <div id="map"  ></div>     
    </body>
</html>

1	-
1	+	<html xmlns="http://www.w3.org/1999/xhtml" >
2		<head>
3		<title>Next time RTFM</title>
4		<script src="../resources/js/ext-3.4.0/ext-base.js" type="text/javascript"></script>
5		<script src="../resources/js/ext-3.4.0/ext-all.js" type="text/javascript"></script>
6		<link rel="stylesheet" type="text/css" href="../resources/js/ext-3.4.0/resources/css/ext-all.css"></link>
7
8		<script src="../resources/js/OpenLayers/OpenLayers.js" type="text/javascript"></script>
9		<link rel="stylesheet" href="../resources/js/OpenLayers/theme/default/style.css" type="text/css" />
10
11		<script src="../resources/js/GeoExt/GeoExt.js" type="text/javascript"></script>
12		<link rel="stylesheet" type="text/css" href="../resources/js/GeoExt/css/geoext-all.css"></link>
13		<script src='http://maps.google.com/maps?file=api&v=2&key=key'></script>
14
15		<style type="text/css">
16		html, body, #map {
17		margin: 0;
18		width: 100%;
19		height: 100%;
20		}
21
22		#text {
23		position: absolute;
24		bottom: 1em;
25		left: 1em;
26		width: 512px;
27		z-index: 20000;
28		background-color: white;
29		padding: 0 0.5em 0.5em 0.5em;
30		}
31		</style>
32
33		<script type="text/JavaScript">
34		function RefreshPage(Period)
35		{
36		setTimeout("location.reload(true);", Period);
37		}
38		var Today = new Date();
39		var day = Today.getDate();
40		var month = Today.getMonth();
41		var year = Today.getFullYear();
42		var hours = Today.getHours();
43		var minutes = Today.getMinutes();
44		var seconds = Today.getSeconds();
45		document.write(hours + ":" + minutes + ":" + seconds)
46		</script>
47		<script type="text/javascript">
48		var lon = 85.31;
49		var lat = 27.67;
50		var zoom = 9;
51		var map, layers;
52		var info;
53		var url = "http://localhost/geoserver/wms";
54		function init(){
55
56
57		map = new OpenLayers.Map('map', {
58		projection: new OpenLayers.Projection("EPSG:900913"),
59		displayProjection: new OpenLayers.Projection("EPSG:4326"),
60		numZoomLevels: 21,
61		maxExtent: new OpenLayers.Bounds(-20037508, -20037508,20037508, 20037508.34),
62		controls: [
63		new OpenLayers.Control.Navigation(),
64		new OpenLayers.Control.PanZoomBar(),
65		new OpenLayers.Control.LayerSwitcher({'ascending':false}),
66		new OpenLayers.Control.ScaleLine(),
67		new OpenLayers.Control.MousePosition(),
68		new OpenLayers.Control.OverviewMap(),
69		new OpenLayers.Control.KeyboardDefaults()
70		]
71
72
73		});
74
75
76
77		var nplBorder = new OpenLayers.Layer.WMS( "Border",
78		url,
79		{layers: 'GisData:INTERNATION_BORDER'}
80		);
81
82		var dsBand = new OpenLayers.Layer.WMS( "Band",
83		url,
84		{layers: 'GisData:DISTRICT_BND'}
85		);
86
87
88
89		var site = new OpenLayers.Layer.WMS( "site",
90		url,
91		{layers: 'GisData:sites', transparent: "true",format: "image/png"}
92		);
93
94
95		var g_pmap = new OpenLayers.Layer.Google(
96		"Google Physical",
97		{type: G_PHYSICAL_MAP,'sphericalMercator': true}
98
99		);
100
101		var gmap_gs = new OpenLayers.Layer.Google(
102		"Google Streets"// the default
103		{'sphericalMercator': true}
104		);
105
106		var gmap_ghy = new OpenLayers.Layer.Google(
107		"Google Hybrid",
108		{type: G_HYBRID_MAP,'sphericalMercator': true}
109		);
110
111		var gmap_gsat = new OpenLayers.Layer.Google(
112		"Google Satellite",
113		{type: G_SATELLITE_MAP,'sphericalMercator': true}
114
115		)
116
117		site.setIsBaseLayer(false);
118
119
120
121		map.addLayer(Border);
122		map.addLayer(Band);
123		map.addLayer(Site);
124
125		// why didn't you add the Google layers???
126		map.add(g_pmap);
127		map.add(gmap_gs);
128		map.add(gmap_ghy);
129		map.add(gmap_gsat);
130
131		info = new OpenLayers.Control.WMSGetFeatureInfo({
132		url: "http://localhost/geoserver/wms",
133		title: 'Identify features by clicking',
134		queryVisible: true,
135		eventListeners: {
136		getfeatureinfo: function(event) {
137		map.addPopup(new OpenLayers.Popup.FramedCloud(
138		"chicken",
139		map.getLonLatFromPixel(event.xy),
140		null,
141		event.text,
142		null,
143		true
144		));
145		}
146		}
147		});
148		map.addControl(info);
149		info.activate();
150
151		map.setCenter(new OpenLayers.LonLat(lon, lat), zoom);
152
153
154		}
155		</script>
156		</head>
157		<body onload="init();">
158
159		<div id="map" ></div>
160		</body>
161		</html>