process($_GET['type']); $name = $filter->process($_GET['name']); //NEED TO DO : show by id in database $id = $_GET['id']; //NEED TO DO : set up is details coorectly //$isDetail = ($type != null && $type != "" && $name != null && $name != "" ); $isDetail = false; //Set active page $_SESSION['SESS_ACTIVEPAGE'] = "document.php" . (($type != null && $type != "" ) ?("?type=" . $type):"") ; ?> Documentation - Parallel Distributed Systems Lab

" . "
Documentation > " . $type . " > " . "" . $name . "
"; } else print "
"; ?>
.