include("config.inc.php"); include("listErrors.php"); $keyGET=mysqli_real_escape_string($conn_db, htmlspecialchars($_GET['key'])); if (strpos($keyGET, "..") && $keyGET!="" ) { header("Location: /"); } $versionGET=mysqli_real_escape_string($conn_db, htmlspecialchars($_GET['version'])); // TODO improve that if (!$versionGET || (!(array_key_exists($versionGET, $clangVersions)))) { $versionGET=$currentVersion; } if ($versionGET != "2.9" && $versionGET != "3.0" && $versionGET != "3.1") { $suffix="unstable_clang"; $ext="log"; } if ($keyGET) { foreach ($known_errors as $key => $err) { // retrieve of the name if ($err['key']==$keyGET) { $keyDSC=$err['dsc']; break; } } if ($keyGET=="NO_CAT") { // $keyGET=""; } } ?>