AccessCheck($this_user, $TB_EXPT_READINFO)) { USERERROR("You do not have permission to view the log for $pid/$eid!", 1); } } function GetPNodes($pid, $eid) { CHECKPAGEARGS($pid, $eid); $retval = array(); $query_result = DBQueryFatal( "select r.node_id from reserved as r ". "where r.eid='$eid' and r.pid='$pid' order by LENGTH(node_id) desc"); while ($row = mysql_fetch_array($query_result)) { $retval[] = $row[node_id]; } return $retval; } function GetExpState($pid, $eid) { CHECKPAGEARGS($pid, $eid); $expstate = TBExptState($pid, $eid); return $expstate; } function STARTWATCHER($pid, $eid) { echo "\n"; $currentstate = TBExptState($pid, $eid); echo "\n"; } function STARTLOG($pid, $eid) { global $BASEPATH; STARTWATCHER($pid, $eid); echo "