-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathhistory.php
88 lines (55 loc) · 1.56 KB
/
history.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
<?php
/**
* @file newUser.php
*
* @brief Form to register a new user to access prepared datasets and processing
*
* @author Nathalie Castells.
*
*
*
*/
include_once 'includes/init.php'; // these are the settings that refer to more than one page
/**
* Anything to do with Cookies or sessions must happen before this line..
*/
?>
<!DOCTYPE html>
<html class="no-js" lang="en">
<head>
<?php
include 'includes/meta.html'; // that is the <meta and link tags> superseeds head.html
?>
</head>
<body>
<div class="container bg-white px-0">
<?php
include 'includes/header.html'; // all the menus at the top
// -- start dependant content ---------------------------------------------------------
?>
<div id="idPHPinfo">
<?php
echo ("<p>Visited Pages</p><ul>");
echo ("page = " . $_SESSION['page']);
foreach ($_SESSION['visitedPages'] as $visiterOrder => $visitedPage) {
echo ("<LI>".$visiterOrder.": ".$visitedPage['expt']."/".$visitedPage['dataset']."</li>");
}
echo ("</ul>");
echo ("<p>history = </p><ul>" ) ;
foreach ($_SESSION['history'] as $visitedOrder => $visitedPage) {
echo ("<LI>".$visitedOrder.": ".$visitedPage."</li>");
}
echo ("</ul>");
?>
</div>
<?php
// -- start footers -----------------------------
include_once 'includes/footer.html'; // this has the green bar and bottome stu
?>
</div>
<?php
include_once 'includes/finish.inc'; // this has the common js scripts
?>
<!-- include here the page dependant scripts -->
</body>
</html>