public function testNuevaEjecucion()
 {
     // Crear un usuario e iniciar sesion
     $nick = "p" . time();
     $uarg = array("nombre" => "problem tester", "email" => $nick . "@example.net", "password" => "foobar23123", "nick" => $nick, "user" => $nick, "ubicacion" => "celaya");
     $result = c_usuario::nuevo($uarg);
     $result = c_sesion::login($uarg);
     // Crear un nuevo problema
     $contents = $titulo = "prob" . time();
     for ($i = 0; $i < 100; $i++) {
         $contents .= "lorem ipsum";
     }
     $arg = array("titulo" => $titulo, "problema" => $contents, "tiempoLimite" => 3456, "entrada" => "1 1\n1 2\n100 100\n", "salida" => "2\n3\n200\n");
     $result = c_problema::nuevo($arg);
     // Crear un nuevo envio
     $arg = array("id_problema" => $result["probID"], "lang" => "java", "plain_source" => "import java.io.*;\n\t\t\t\t\tclass Main{ public static void main(String []a) throws Exception{\n\t\t\t\t\tBufferedReader br = new BufferedReader(new FileReader(\"data.in\"));\n\t\t\t\t\tPrintWriter pw = new PrintWriter((\"data.out\"));\n\t\t\t\t\tString s;\n\t\t\t\t\twhile((s=br.readLine()) != null){\n\t\t\t\t\t\t\tpw.println(Integer.parseInt(s.split(\" \")[0])  + Integer.parseInt(s.split(\" \")[1])   );\n\t\t\t\t\t}\n\t\t\t\t\tpw.flush(); pw.close();\n\t\t\t\t\t} }");
     $result = c_ejecucion::nuevo($arg);
     //Revisar el estado del run hasta que no sea waiting...
     $detalles = c_ejecucion::details($result);
     $retry = 0;
     while ($retry < 5 && ($detalles["run"]["status"] == "WAITING" || $detalles["run"]["status"] == "JUDGING")) {
         $retry++;
         sleep(1);
         $detalles = c_ejecucion::details($result);
     }
     $this->assertEquals($detalles["run"]["status"], "OK");
 }
<?php

require_once "../serverside/bootstrap.php";
$title = isset($_GET["user"]) ? $_GET["user"] : "******";
define("PAGE_TITLE", $title);
require_once "head.php";
?>
<div class="post_blanco">

	<?php 
if (isset($_GET["user"])) {
    include "parcial_perfil.php";
    $envios = c_usuario::runs($_GET);
} else {
    $envios = c_ejecucion::lista();
}
$runs = $envios["runs"];
include "parcial_listadeejecuciones.php";
?>

</div>

<?php 
include_once "post_footer.php";
?>

<?php

require_once "../serverside/bootstrap.php";
define("PAGE_TITLE", "Ver Codigo");
require_once "head.php";
require_once "require_login.php";
?>
<div class="post_blanco">
	<?php 
$result = c_ejecucion::canUserViewRun();
if ($result) {
    $execID = $_GET["execID"];
    include "parcial_mostrarcodigo.php";
}
?>
</div>

<?php 
include_once "post_footer.php";
?>

<?php

//@param $execID
$param = array("execID" => $execID);
$resultado = c_ejecucion::details($param);
$run = $resultado["run"];
$file = PATH_TO_CODIGOS . "/" . $execID;
switch ($run["LANG"]) {
    case "JAVA":
        $file .= ".java";
        $sintaxcolor = "java";
        break;
    case "C":
        $file .= ".c";
        $sintaxcolor = "c";
        break;
    case "C++":
        $file .= ".cpp";
        $sintaxcolor = "cpp";
        break;
    case "C#":
        $file .= ".cs";
        $sintaxcolor = "csharp";
        break;
    case "Python":
        $file .= ".py";
        $sintaxcolor = "py";
        break;
    case "Perl":
        $file .= ".pl";
        $sintaxcolor = "py";