Commit 38e3c6ed authored by Mike Hibler's avatar Mike Hibler
Browse files

Make pid/eid fields into links.

With apologies to all those non-broadband trogs (use green dot if you want
to download fast) :-)
parent bb32541f
......@@ -487,8 +487,8 @@ while ($row = mysql_fetch_array($query_result)) {
# Admins get pid/eid/vname, but mere users yes/no.
if ($isadmin) {
if ($pid) {
echo "<td>$pid</td>
echo "<td><a href=showproject.php3?pid=$pid>$pid</a></td>
<td><a href=showexp.php3?pid=$pid&eid=$eid>$eid</a></td>\n";
else {
echo "<td>--</td>
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