Mercurial > hg > LGToc

annotate check_sections_details2.php @ 20:ae69cfe4f9d2 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
new version, remove session mechanism, after all server side save data without session in previous version, check_sections_detail.php
author Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
date Mon, 25 Sep 2017 14:32:47 +0200
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
20
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
1 <?php
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
2 include_once('config/Lib_mb_utf8.php');
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
3 include_once('config/config.php');
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
4 include_once('edit_section_db.php');
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
5 set_time_limit(0);
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
6 ini_set('memory_limit', '-1');
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
7
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
8 $link_mysql = mysql_connect($mysql_server, $mysql_user, $mysql_password);
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
9 mysql_query("SET NAMES utf8");
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
10
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
11 if (!$link_mysql) {
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
12 die('Could not connect: ' . mysql_error());
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
13 }
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
14
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
15 $db_selected = mysql_select_db($mysql_database, $link_mysql);
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
16
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
17 if (!$db_selected) {
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
18 die ('Can\'t use foo : ' . mysql_error());
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
19 }
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
20
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
21 function getBookInfo($bookId){
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
22
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
23 $query="SELECT * FROM books WHERE id=".$bookId;
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
24 $result=mysql_query($query);
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
25 $bookInfo=mysql_fetch_assoc($result);
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
26 return $bookInfo;
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
27 }
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
28
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
29 function printBookInfo($bookInfo){
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
30
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
31 $str="<table class='bookInfo'><tr>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
32 <th class='bookId'>book id</th>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
33 <th class='bookName'>book name</th>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
34 <th class='level1'>level1</th>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
35 <th class='level2'>level2</th>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
36 <th class='period'>period</th>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
37 <th class='bookId'>pages</th>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
38 <th class='bookId'>version</th>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
39 <th class='bookName'>editor</th>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
40 <th class='bookName'>date</th></tr>";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
41
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
42 $str.="<tr>";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
43 $str.="<td>".$bookInfo['id'];
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
44 $str.="</td><td>".$bookInfo['name'];
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
45 $str.="</td><td>".$bookInfo['level1'];
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
46 $str.="</td><td>".$bookInfo['level2'];
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
47 $str.="</td><td>".$bookInfo['period'];
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
48 $str.="</td><td>".$bookInfo['line'];
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
49 $str.="</td><td>".$bookInfo['version'];
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
50 $str.="</td><td>".$bookInfo['editor'];
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
51 $str.="</td><td>".$bookInfo['date'];
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
52 $str.="</td></tr></table>";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
53
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
54 echo $str;
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
55 }
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
56
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
57 function printSectionArray($sectionArray,$missingPageArray){
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
58 $str="<div id='bookContainer'>";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
59 echo $str;
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
60 $i=0;
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
61 foreach($sectionArray as $idx=>$row){
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
62 /*
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
63 $flag="";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
64 if($i!=sizeof($pageArray) && $pageArray[$i]['start_page']==$row['start_page'] && $pageArray[$i]['end_page']==$row['end_page']){
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
65 $flag="overlapper";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
66 $i++;
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
67 }
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
68 if($i!=0 && $pageArray[$i-1]['start_page']==$row['start_page'] && $pageArray[$i-1]['end_page']==$row['end_page']){
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
69 $flag="overlapper";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
70 }*/
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
71 if(!($idx!=0 && $sectionArray[$idx-1]['start_page']==$row['start_page'] && $sectionArray[$idx-1]['end_page']==$row['end_page'])
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
72 && $i<sizeof($missingPageArray) && $missingPageArray[$i]['end_page']==$row['start_page']){
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
73 $str="<div class='missingPageContainer'><div class='missingPage'>Missing pages: ".$missingPageArray[$i]['start_page']." - ".$missingPageArray[$i]['end_page']."</div></div>";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
74 //$str.="<br>";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
75 $i++;
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
76 echo $str;
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
77 }
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
78
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
79 $str="<div class='entry level".$row['level']." ".$row['flag']." ".$row['deleted']."'>";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
80 $str.="<div class='hiddenInfo'>";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
81 $str.="<div class='id'>".$row['id']."</div>";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
82 $str.="<div class='booksId'>".sprintf("%05d",$row['books_id'])."</div>";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
83 $str.="<div class='splitFrom'>".$row['split_from']."</div>";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
84 $str.="<div class='sectionAfter'>".$row['section_after']."</div>";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
85 $str.="</div>";//end of hiddenInfo
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
86 $str.="<div class='sequence'>".($idx+1)."</div>";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
87 $str.="<div class='name'>".$row['name']."</div>";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
88 $str.="<div class='page'>";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
89 $str.="<div class='startPage'>".$row['start_page']."</div>";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
90 $str.=" - ";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
91 $str.="<div class='endPage'>".$row['end_page']."</div>";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
92 $str.="</div>";//end of page
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
93 $str.="</div>"; //end of class entry
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
94 echo $str;
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
95
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
96 }
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
97 if($i<sizeof($missingPageArray)){
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
98 $str="<div class='missingPage'>Missing pages: ".$missingPageArray[$i]['start_page']." - ".$missingPageArray[$i]['end_page']."</div>";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
99 echo $str;
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
100 }
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
101 $str="</div>";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
102 echo $str;
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
103 }
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
104
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
105 ?>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
106
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
107 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
108 <html>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
109 <head>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
110 <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
111
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
112 <link href="css/jquery-ui/jquery-ui.css" type="text/css" rel="stylesheet"/>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
113 <script src="js/jquery/1.6.2/jquery.min.js" type="text/javascript"></script>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
114 <script src="js/jquery/jquery-ui.js" type="text/javascript"></script>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
115
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
116 <link href="css/check_sections.css?v=18" type="text/css" rel="stylesheet"/>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
117 <script src="js/check_sections_details.js?v=18" type="text/javascript"></script>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
118
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
119 </head>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
120 <body>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
121 <div id="loading">...</div>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
122 <div id="container">
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
123 <?php
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
124 $version=0;
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
125 $editor="";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
126 $date="";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
127 if(isset($_GET['book_id']) && isset($_GET['count']) && is_numeric($_GET['count'])){
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
128 $bookId=$_GET['book_id'];
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
129 $count=$_GET['count'];
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
130 $bookInfo=getBookInfo($bookId);
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
131 $info=checkSectionInfo($bookId);
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
132 $version=$info['version'];
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
133 $editor=$info['editor'];
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
134 $date=$info['date'];
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
135 $bookInfo=array_merge($bookInfo,["version"=>$version,"editor"=>$editor,"date"=>$date]);
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
136 printBookInfo($bookInfo);
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
137 //echo "version: ".$version."<br>last editor: ".$editor;
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
138 $missingPageArray=checkMissingPage($bookInfo,$info);
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
139 ?>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
140
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
141 <table id="history_table">
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
142 <thead>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
143 <button id="show_all" style="display:block;">Show history</button>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
144 <button id="close" style="display:none;margin-bottom:10px;">Close</button>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
145 </thead>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
146 <tbody id="history_body">
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
147
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
148 </tbody>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
149 </table>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
150 <div id="searchResults">
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
151 <?php
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
152 $sectionArray=getSectionArray($bookId,$count,$info);
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
153 printSectionArray($sectionArray,$missingPageArray);
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
154 }else{
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
155 echo "Cannot process the data due to incomplete input.";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
156 }
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
157 ?>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
158 </div>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
159 </div>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
160 <div id="panel"></div>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
161 <script>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
162 var version=<?php echo $version;?>;
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
163 var session_id = "<?php echo $_GET['sessionId'];?>";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
164
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
165 function setCurrentEditor() {
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
166 // current_editor is gotten from LGService
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
167 var current_editor = <?php echo json_encode($current_editor) ?>;
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
168 if (current_editor != "") {
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
169 $("#saveBook .editor").val(current_editor);
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
170 } else {
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
171 alert("Error!! You have to login from LGService!");
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
172 $("#loading").show();
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
173 }
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
174 }
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
175
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
176 function showAll() {
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
177
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
178 <?php
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
179
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
180 $query_editor = "(SELECT editor, date, version from sections_versions WHERE books_id='".$bookId."' ORDER BY version DESC)";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
181 $result = mysql_query($query_editor);
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
182
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
183 while ($row = mysql_fetch_assoc($result)) {
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
184 $history[] = $row;
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
185 }
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
186
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
187 $struct = array("data" => $history);
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
188 print "var histories=".json_encode($struct) .";";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
189
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
190 ?>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
191
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
192 var tableData = '<tr><td>Editor</td><td>Version</td><td>Saved Time</td></tr>';
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
193
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
194 $.each(histories.data, function(idx, data) {
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
195 tableData += (`<tr><td>${data.editor}</td><td>${data.version}</td><td>${data.date}</td><</tr>`);
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
196 });
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
197
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
198 $('#history_body').html(tableData);
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
199
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
200 document.getElementById("show_all").style.display = "none";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
201 document.getElementById("close").style.display = "block";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
202
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
203 }
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
204
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
205 document.getElementById("show_all").onclick = showAll;
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
206
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
207 function closeAll() {
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
208
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
209 $('#history_body').html("");
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
210
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
211 document.getElementById("show_all").style.display = "block";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
212 document.getElementById("close").style.display = "none";
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
213 }
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
214
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
215 document.getElementById("close").onclick = closeAll;
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
216
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
217
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
218 // --- timeout reminder ---
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
219 // var timeoutID;
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
220 // delayedAlert();
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
221 // function delayedAlert() {
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
222 // timeoutID = window.setTimeout(slowAlert, 600*1000);
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
223 // }
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
224 // function slowAlert() {
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
225 // if (confirm("Reminder: It's been 10 mins. Remember saving your work to prevent data lost. \n\nKeep working? \n(Press Cancel will turn off this reminder.)")) {
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
226 //
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
227 // var lg_url = "<?php echo $lgserver_url?>" + "rest/utils/getUser?sessionId=" + session_id;
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
228 //
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
229 // $.post(lg_url, function(data) {
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
230 // console.log("renew session.");
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
231 //
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
232 // }).done(function(data){
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
233 // console.log(data);
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
234 // console.log("login as: " + data['userName']);
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
235 //
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
236 // if (data['userName'] == "") {
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
237 // alert("Error!! You have to re-login from LGService!");
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
238 // $("#loading").show();
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
239 // } else {
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
240 // timeoutID = window.setTimeout(slowAlert, 600*1000);
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
241 // }
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
242 //
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
243 // }).fail(function(){
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
244 // console.log("fail to renew session.");
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
245 // });
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
246 // }
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
247 //
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
248 // }
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
249
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
250
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
251
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
252 </script>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
253
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
254
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
255 </body>
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
256
ae69cfe4f9d2 new version, remove session mechanism,
Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
parents:
diff changeset
257 </html>