.
////////////////////////////////////////////////////////////////////////////////
// Last modified 08/aug/2015 by cassio@ime.usp.br
require('header.php');
if(($ct = DBContestInfo($_SESSION["usertable"]["contestnumber"])) == null)
ForceLoad("../index.php");
if (isset($_GET["delete"]) && is_numeric($_GET["delete"])) {
$param["number"] = $_GET["delete"];
DBDeleteLanguage ($_SESSION["usertable"]["contestnumber"],$param);
ForceLoad("language.php");
}
if (isset($_POST["Submit3"]) && isset($_POST["langnumber"]) && is_numeric($_POST["langnumber"]) &&
isset($_POST["langname"]) && $_POST["langname"] != "") {
if(strpos(trim($_POST["langname"]),' ')!==false) {
$_POST["confirmation"]='';
MSGError('Language name cannot have spaces');
} else {
if ($_POST["confirmation"] == "confirm") {
$param = array();
$param['number'] = $_POST['langnumber'];
$param['name'] = trim($_POST['langname']);
$param['extension'] = $_POST['langextension'];
DBNewLanguage ($_SESSION["usertable"]["contestnumber"], $param);
}
}
ForceLoad("language.php");
}
?>
| Language # | Name | Extension | " . $lang[$i]["number"] . " | \n"; echo "" . $lang[$i]["name"] . " | \n"; echo "" . $lang[$i]["extension"] . " | \n"; echo " \n"; } echo "