2 define("TI_0","ASISTENTE DE CATEDRATICO");
3 define("TI_1","ASISTENTE DE TALLER");
4 define("TI_2","ENCARGADO DE TALLER");
5 define("TI_3","INTRUCTOR DE MATERIA");
6 define("DE_0","Dpto. Electrónica");
7 define("DE_1","Dpto. Informática");
8 include_once("include/session.php");
9 /* Requested Username error checking */
10 $req_user = trim($_GET['usr']);
11 if(!$req_user ||
strlen($req_user) == 0 ||
12 !eregi("^([0-9a-z])+$", $req_user) ||
13 !$database->usernameTaken($req_user)){
14 die("Usuario no registrado");
17 /* Logged in user viewing own account */
18 if(strcmp($session->username
,$req_user) == 0){
19 echo "<h3>Mi cuenta</h3>";
21 /* Visitor not viewing own account */
23 echo "<h3>Información del usuario</h3>";
26 /* Display requested user information */
27 $req_user_info = $database->getUserInfo($req_user);
29 echo "<b>Código de usuario: </b>".$req_user_info['username']."<br>";
30 echo "<b>Nombre de usuario:</b> ".$req_user_info['nombre']."<br>";
31 echo "<b>Encargado:</b> ".$req_user_info['encargado']."<br>";
32 echo "<b>Catedrático:</b> ".$req_user_info['catedratico']."<br>";
33 echo "<b>Tipo de Instructor:</b> ";
34 switch ($req_user_info['tipo']) {
48 echo "Tipo de instructor desconocido";
52 echo "<b>Departamento:</b> ";
53 switch ($req_user_info['departamento']) {
62 echo "<b>Email:</b> ".$req_user_info['email']."<br>";
64 if(strcmp($session->username
,$req_user) == 0 ||
$session->isAdmin()){
65 echo "<br><a href=\"useredit.php/?u=$req_user\">Editar información de la cuenta</a><br>";