LGSearch: search_function.php annotate

annotate search_function.php @ 7:23dcd1b5e9c4 default tip

add keywords highlighting on searching result

author	Zoe Hong <zhong@mpiwg-berlin.mpg.de>
date	Mon, 16 Nov 2015 16:58:39 +0100
parents	1cf7bb8db5dd
children

rev	line source
0 c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	1 <?php
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	2 include_once('config/Lib_mb_utf8.php');
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	3 include_once('config/config.php');
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	4
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	5 set_time_limit(0);
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	6 ini_set('memory_limit', '-1');
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	7
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	8 $link_mysql = mysql_connect($mysql_server, $mysql_user, $mysql_password);
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	9 mysql_query("SET NAMES utf8");
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	10
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	11 if (!$link_mysql) {
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	12 die('Could not connect: ' . mysql_error());
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	13 }
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	14
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	15 $db_selected = mysql_select_db($mysql_database, $link_mysql);
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	16 if (!$db_selected) {
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	17 die ('Can\'t use foo : ' . mysql_error());
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	18 }
5 1cf7bb8db5dd modify passwd popup Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 3 diff changeset	19
1cf7bb8db5dd modify passwd popup Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 3 diff changeset	20
1cf7bb8db5dd modify passwd popup Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 3 diff changeset	21 $func = $_POST["func"];
1cf7bb8db5dd modify passwd popup Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 3 diff changeset	22 switch ($func) {
1cf7bb8db5dd modify passwd popup Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 3 diff changeset	23 case 'checkPassword':
1cf7bb8db5dd modify passwd popup Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 3 diff changeset	24 checkPassword($_POST["password"]);
1cf7bb8db5dd modify passwd popup Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 3 diff changeset	25 break;
1cf7bb8db5dd modify passwd popup Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 3 diff changeset	26 default:
1cf7bb8db5dd modify passwd popup Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 3 diff changeset	27 break;
1cf7bb8db5dd modify passwd popup Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 3 diff changeset	28 }
1cf7bb8db5dd modify passwd popup Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 3 diff changeset	29
1cf7bb8db5dd modify passwd popup Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 3 diff changeset	30 function checkPassword($passwd){
1cf7bb8db5dd modify passwd popup Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 3 diff changeset	31 global $password;
1cf7bb8db5dd modify passwd popup Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 3 diff changeset	32 if ($password == $passwd) {
1cf7bb8db5dd modify passwd popup Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 3 diff changeset	33 echo 1;
1cf7bb8db5dd modify passwd popup Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 3 diff changeset	34 } else {
1cf7bb8db5dd modify passwd popup Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 3 diff changeset	35 echo 0;
1cf7bb8db5dd modify passwd popup Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 3 diff changeset	36 }
1cf7bb8db5dd modify passwd popup Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 3 diff changeset	37 }
1cf7bb8db5dd modify passwd popup Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 3 diff changeset	38
0 c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	39 function trimKeyword($keywords){
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	40 $token=strtok($keywords,",");
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	41 while($token!=false){
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	42 $token=trim($token);
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	43 $keywordArray[]=$token;
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	44 $token=strtok(",");
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	45 }
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	46 return $keywordArray;
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	47 }
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	48
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	49 function search($keywordArray){
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	50 $condition="";
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	51 foreach($keywordArray as $i=>$keyword){
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	52 if($i!=0){
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	53 $condition.=" OR ";
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	54 }
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	55 $condition.=" contents.content LIKE '%".$keyword."%' ";
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	56 }
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	57 //books.name AS book_name, books.level1, books.level2, books.period, contents.books_id, contents.line, contents.content
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	58
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	59 $query="SELECT books.level1 AS LEVEL1, books.level2 AS LEVEL2,
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	60 books.name AS Name, books.period AS PERIOD,
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	61 books.start_year AS 'TimeSpan:begin', books.end_year AS 'TimeSpan:end',
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	62 books.id AS BOOK_ID, contents.line AS PAGE, contents.content AS CONTENT,
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	63 books.volume AS VOLUME, books.author AS AUTHOR, books.edition AS EDITION
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	64 FROM contents
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	65 JOIN books ON contents.books_id = books.id
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	66 WHERE ".$condition."
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	67 ORDER BY contents.books_id, contents.line";
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	68 $result = mysql_query($query);
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	69 if (!$result) {
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	70 echo mysql_error();
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	71 }
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	72 echo "result length: ".mysql_num_rows($result)."<br>";
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	73
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	74 while ($row = mysql_fetch_assoc($result)) { //Find the section(s) where the page belongs to
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	75 //$resultArray[$i]=$row;
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	76 $query = "SELECT MAX(`id`) FROM `sections_versions` WHERE `books_id` ='".$row['BOOK_ID']."'";
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	77
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	78 $r = mysql_fetch_row(mysql_query($query));
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	79 $max_version_id = $r[0];
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	80
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	81 $subQuery = "";
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	82 if ($max_version_id) {
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	83 $subQuery="SELECT id, name, start_page, end_page
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	84 FROM sections_revisions
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	85 WHERE books_id=".$row['BOOK_ID']." AND start_page<=".$row['PAGE']." AND end_page>=".$row['PAGE']." AND sections_revisions.deleted=0 AND sections_revisions.versions_id=".$max_version_id;
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	86
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	87 } else {
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	88 $subQuery="SELECT id, name, start_page, end_page
2 45cbafdec56e modified code for updated db tables Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 1 diff changeset	89 FROM sections_index
0 c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	90 WHERE books_id=".$row['BOOK_ID']." AND start_page<=".$row['PAGE']." AND end_page>=".$row['PAGE'];
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	91 }
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	92
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	93 $subResult=mysql_query($subQuery);
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	94 $sectionArray=array();
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	95 while($subRow=mysql_fetch_assoc($subResult)){
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	96 $sectionArray[]=$subRow;
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	97 }
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	98 $row['SECTION']=$sectionArray;
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	99
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	100 $resultArray[]=$row;
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	101 }
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	102 //echo "array length: ".sizeof($resultArray)."<br>";
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	103 return $resultArray;
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	104 }
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	105 $NO_TAG=0;
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	106 $LOCUST_TEMPLE=1;
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	107
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	108 function printTable($array,$keywordArray,$filename,$tag){ //print HTML
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	109 global $NO_TAG, $LOCUST_TEMPLE;
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	110 $keywordStr="";
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	111 foreach($keywordArray as $i=>$keyword){
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	112 if($i!=0){
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	113 $keywordStr.=", ";
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	114 }
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	115 $keywordStr.=$keyword;
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	116 }
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	117
7 23dcd1b5e9c4 add keywords highlighting on searching result Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 5 diff changeset	118 $header='<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
23dcd1b5e9c4 add keywords highlighting on searching result Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 5 diff changeset	119 <html>
23dcd1b5e9c4 add keywords highlighting on searching result Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 5 diff changeset	120 <head>
23dcd1b5e9c4 add keywords highlighting on searching result Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 5 diff changeset	121 <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
23dcd1b5e9c4 add keywords highlighting on searching result Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 5 diff changeset	122 <link href="../search.css" type="text/css" rel="stylesheet"/>
23dcd1b5e9c4 add keywords highlighting on searching result Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 5 diff changeset	123 <script src="../js/jquery/1.6.2/jquery.min.js" type="text/javascript"></script>
23dcd1b5e9c4 add keywords highlighting on searching result Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 5 diff changeset	124 <script src="../search.js" charset="utf-8"></script>
23dcd1b5e9c4 add keywords highlighting on searching result Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 5 diff changeset	125 </head>
23dcd1b5e9c4 add keywords highlighting on searching result Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 5 diff changeset	126 <body>';
23dcd1b5e9c4 add keywords highlighting on searching result Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 5 diff changeset	127
0 c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	128
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	129 global $system_root_url, $server_host, $lgserver_url;
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	130
3 bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	131 if ($fp=fopen("./search_results/".$filename.".html","w")) {
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	132
7 23dcd1b5e9c4 add keywords highlighting on searching result Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 5 diff changeset	133 // TODO highlight on the searched keywords. The html is a static file, difficult to add js...
23dcd1b5e9c4 add keywords highlighting on searching result Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 5 diff changeset	134 // will incorporate LGSearch into LGServices in the near future...
23dcd1b5e9c4 add keywords highlighting on searching result Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 5 diff changeset	135
23dcd1b5e9c4 add keywords highlighting on searching result Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 5 diff changeset	136
3 bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	137 //$fp=fopen("./search_results/".$filename.".html","w");
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	138 fwrite($fp,$header);
7 23dcd1b5e9c4 add keywords highlighting on searching result Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 5 diff changeset	139 $str="<a href='".$server_host."LGMap/get_coordinates_for_listed_books.php?file=".$filename.".csv&name=".$keywordStr."' target='_blank'>view the distribution on the map (click here at the first time)</a><br><br>"; // copy the csv file in LGSearch/csv_files/ to LGMap/datasets/, then redirect to LGMap
3 bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	140 $str.="<a href='".$server_host."LGMap/map.php?mode=1&file=".$filename.".csv&name=".$keywordStr."' target='_blank'>view the distribution on the map</a><br><br>";
2 45cbafdec56e modified code for updated db tables Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 1 diff changeset	141
3 bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	142 fwrite($fp,$str);
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	143 $str.="<a href='".$system_root_url."search_results/".$filename.".html' target='_blank'>html version</a><br><br>";
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	144 // $str.="<a href='http://".$_SERVER['HTTP_HOST']."/LGSearch/search_results/".$filename.".html' target='_blank'>html version</a><br><br>";
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	145 echo $str;
7 23dcd1b5e9c4 add keywords highlighting on searching result Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 5 diff changeset	146 echo sizeof($array)." result(s) of \"<span id='keywords'>".$keywordStr."</span>\"";
23dcd1b5e9c4 add keywords highlighting on searching result Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 5 diff changeset	147 fwrite($fp,sizeof($array)." result(s) of \"<span id='keywords'>".$keywordStr."</span>\"<br>");
3 bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	148 $str="<table>";
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	149 $str.="<tr>";
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	150 $str.="<td class='sequence'>#<td class='bookId'>book id<td class='bookName'>book name<td class='level1'>level1<td class='level2'>level2<td class='period'>period<td class='sectionName'>section info<td class='page'>page<td class='content'>content";
0 c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	151 fwrite($fp,$str);
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	152 echo $str;
3 bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	153 $i=1;
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	154 foreach($array as $row){
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	155 $str="<tr>";
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	156 $str.="<td>".$i;
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	157 $str.="<td>".$row['BOOK_ID'];
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	158 $str.="<td>".$row['Name'];
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	159 $str.="<td>".$row['LEVEL1'];
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	160 $str.="<td>".$row['LEVEL2'];
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	161 $str.="<td>".$row['PERIOD'];
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	162 $str.="<td>";
0 c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	163 fwrite($fp,$str);
3 bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	164 echo $str;
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	165 foreach($row['SECTION'] as $section){
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	166
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	167 $str="<div class='section'><a>".$section['name']."</a>p".$section['start_page']."-".$section['end_page']."</div>";
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	168 echo $str;
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	169 /*
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	170 // redirect to LGServer?
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	171 $str="<div class='section'><a href='".$lgserver_url."' target='_blank'>".$section['name']."</a>p".$section['start_page']."-".$section['end_page']."</div>";
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	172 echo $str;
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	173 $str="<div class='section'><a href='".$lgserver_url."' target='_blank'>".$section['name']."</a>p".$section['start_page']."-".$section['end_page']."</div>";
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	174 */
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	175 /* origial
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	176 $str="<div class='section'><a href='/interface/tagging_text.php?id=".$section['id']."' target='_blank'>".$section['name']."</a>p".$section['start_page']."-".$section['end_page']."</div>";
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	177 echo $str;
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	178 $str="<div class='section'><a href='/interface/tagging_text.php?id=".$section['id']."' target='_blank'>".$section['name']."</a>p".$section['start_page']."-".$section['end_page']."</div>";
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	179 */
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	180 fwrite($fp,$str);
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	181 }
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	182 $str="<td>".$row['PAGE'];
7 23dcd1b5e9c4 add keywords highlighting on searching result Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 5 diff changeset	183 $str.="<td class='content'>".$row['CONTENT'];
23dcd1b5e9c4 add keywords highlighting on searching result Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 5 diff changeset	184 /*
3 bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	185 if($tag==$NO_TAG){
7 23dcd1b5e9c4 add keywords highlighting on searching result Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 5 diff changeset	186 $str.="<td class='content'>".$row['CONTENT'];
3 bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	187 }else if($tag==$LOCUST_TEMPLE){
7 23dcd1b5e9c4 add keywords highlighting on searching result Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 5 diff changeset	188 $str.="<td class='content'>".findLocustTempleDescription($row['CONTENT'],$keywordArray,0);
3 bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	189 }
7 23dcd1b5e9c4 add keywords highlighting on searching result Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 5 diff changeset	190 */
3 bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	191 fwrite($fp,$str);
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	192 echo $str;
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	193 $i++;
0 c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	194 }
3 bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	195
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	196 echo "</table>";
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	197 fwrite($fp,"</table></body></html>");
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	198 fclose($fp);
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	199
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	200 } else {
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	201 error_log("error when opening file: "."./search_results/".$filename.".html" ,0);
0 c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	202 }
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	203 }
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	204
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	205 function findLocustTempleDescription($str,$keywordArray,$findUnknownTemple){
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	206 $result="";
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	207 $pattern[0]="/(.*)(";
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	208 foreach($keywordArray as $i=>$keyword){
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	209 $pattern[0].=$keyword;
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	210 if($i!=sizeof($keywordArray)-1){
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	211 $pattern[0].="\|";
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	212 }
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	213 }
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	214 $pattern[0].=")(.*)/u";
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	215 //0=whole,1=text,2=locust temple,3=description
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	216 $pattern[1]="/(.\s+)(\S{1,5}[廟寺祠])(.)/u";
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	217 //0=whole,1=descripption,2=unknown temple,3=text
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	218 $success=preg_match($pattern[$findUnknownTemple],$str,$match); //note that preg_match only matches the last match!
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	219 if($findUnknownTemple==0){
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	220 if($success==1){//find string "locust temple"
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	221 $result=findLocustTempleDescription($match[1],$keywordArray,0);
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	222 $result.="<keyword>".$match[2]."</keyword>";
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	223 $result.=findLocustTempleDescription($match[3],$keywordArray,1);
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	224 return $result;
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	225 }else{//no string "locust temple"
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	226 return "<irrelevant>".$str."</irrelevant>";
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	227 }
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	228 }else{
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	229 if($success==1){//find the pattern "locust temple......unknown temple"
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	230 $result=findLocustTempleDescription($match[1],$keywordArray,1);
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	231 $result.="<irrelevant>".$match[2].$match[3]."</irrelevant>";
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	232 //$result.="<keyword>".$match[2]."</keyword>".$match[3];
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	233 return $result;
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	234 }else{//can't find the pattern
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	235 return $str;
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	236 }
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	237
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	238 }
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	239 }
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	240
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	241 function writeCsvFile($array,$fileName){
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	242 $columnNameArray=['BOOK_ID','LEVEL1','LEVEL2',
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	243 'Name','PERIOD','TimeSpan:begin','TimeSpan:end','PAGE','SECTION','CONTENT',
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	244 'Description'];
3 bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	245 if( $fp=fopen("./csv_files/".$fileName.".csv","w")) {
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	246 // $fp=fopen("./csv_files/".$fileName.".csv","w");
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	247 fputcsv($fp,$columnNameArray);
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	248 foreach($array as $row){
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	249 $book=array();
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	250 $row['Description']='';
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	251 foreach($columnNameArray as $column){
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	252 $book[$column]=$row[$column];
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	253 }
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	254 $book['Name']="(".$row['PERIOD'].") ".$row['Name'];
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	255 $row['AUTHOR']=str_replace("（","(",$row['AUTHOR']);
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	256 $row['AUTHOR']=str_replace("）",") ",$row['AUTHOR']);
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	257 $book['Description']=$row['VOLUME']." ╱ ".$row['AUTHOR']." ╱ ".$row['EDITION'];
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	258 $book['SECTION']='';
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	259 foreach($row['SECTION'] as $idx=>$section){
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	260 $book['SECTION'].=$section['name']." ".$section['start_page']."-".$section['end_page'];
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	261 if($idx!=sizeof($row['SECTION'])){
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	262 $book['SECTION'].=" ╱ ";
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	263 }
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	264 }
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	265 fputcsv($fp,$book);
0 c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	266 }
3 bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	267 fclose($fp);
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	268
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	269 } else {
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	270 error_log("error when opening file: "."./csv_files/".$fileName.".csv", 0);
bc6ce492f15d add passwd in search page, php error log Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: 2 diff changeset	271 }
0 c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	272 }
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	273
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	274 ?>
c9363a90b8b5 first commit to development server Zoe Hong <zhong@mpiwg-berlin.mpg.de> parents: diff changeset	275

Mercurial > hg > LGSearch

annotate search_function.php @ 7:23dcd1b5e9c4 default tip