Commit f6715491 authored by Leigh B. Stoller's avatar Leigh B. Stoller
Browse files

Add pid/eid to title so that the window menu in your browser indicates

what window is what.
parent fa1199a5
......@@ -8,12 +8,7 @@ include("defs.php3");
include("showstuff.php3");
#
# Standard Testbed Header
#
PAGEHEADER("Show Experiment Information");
#
# Only known and logged in users can end experiments.
# Only known and logged in users can look at experiments.
#
$uid = GETLOGIN();
LOGGEDINORDIE($uid);
......@@ -33,6 +28,11 @@ if (!isset($eid) ||
$exp_eid = $eid;
$exp_pid = $pid;
#
# Standard Testbed Header now that we have the pid/eid okay.
#
PAGEHEADER("Experiment Information ($pid/$eid)");
#
# Check to make sure this is a valid PID/EID tuple.
#
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment