diff coordinates/map.php @ 0:57bde4830927

first commit
author Zoe Hong <zhong@mpiwg-berlin.mpg.de>
date Tue, 24 Mar 2015 11:37:17 +0100
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/coordinates/map.php	Tue Mar 24 11:37:17 2015 +0100
@@ -0,0 +1,48 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
+<html>
+        <head>
+                <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
+                <link href="map.css" type="text/css" rel="stylesheet"/>
+                <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.0/jquery.min.js" type="text/javascript"></script>
+		<script src="https://code.jquery.com/ui/1.10.4/jquery-ui.js"></script>
+		<link href="../geotemco/css/platin.css" rel="stylesheet" type="text/css">
+        	<script src="../geotemco/platin.js"></script>
+        	<script src="map.js"></script>
+        </head>
+        <body>
+		
+		<div class="container" id="overlayLoaderContainer"></div>
+		<div class="container" id="listContainer">
+<?php
+$fileName="./map_input_files/list.csv";
+if(isset($_GET['list'])&&$_GET['list']==176){
+	$fileName="./map_input_files/list_176.csv";
+}
+$fp=fopen($fileName,"r");
+while(!feof($fp)){
+	$data=fgetcsv($fp,1000000);
+	echo "<div class='book'>";
+	echo "<div class='attr level1'>".$data[0]."</div>";
+	echo "<div class='attr date'>".$data[1]."</div>";
+	echo "<div class='attr title'>".$data[2]."</div>";
+	echo "<div class='attr placeName'>".$data[3]."</div>";
+	echo "<div class='attr bookId'>".$data[4]."</div>";
+	echo "<div class='attr number'>".$data[5]."</div>";
+	echo "<div class='coordinateList'>";
+	for($i=0; $i<$data[5];$i++){
+		$coor=fgetcsv($fp,1000000);
+		echo "<div class='coordinate'><div class='x'>".$coor[0]."</div>, <div class='y'>".$coor[1]."</div></div>";
+	}	
+	echo "</div>";
+	echo "</div>";
+}
+
+?>			
+		</div>
+		<div class="container" id="mapContainer"></div>
+
+		<div class='defloater'></div>
+	
+		<div class="container" id="tableContainer"></div>
+        </body>
+</html>