forms.php

<?php
	function FileSubmit($FileType, $RoundId)
	{
?>
	<form action="submit.php" method="post" enctype="multipart/form-data">
		<input type="hidden" name="roundid" value="<?php echo (int)$RoundId; ?>"/>
<?php
		if($FileType == 'code')
		{
?>
		<input type="hidden" name="type" value="code"/>
		<p>
			<label for="lang">Lenguaje:</label>
			<select name="lang">
				<option value = "c">C</option>
				<option value = "cpp">C++</option>
				<option value = "java">Java</option>
				<option value = "py">Python</option>
			</select>
		</p>
		<p>
			<label for="file">Súbelo desde un archivo:<br/></label>
			<input type="file" name="file" id="file"/>
		</p>
		<p>
			<label for="dinput">Súbelo copiando el código:<br/></label>
			<textarea name="dinput" id="dinput"></textarea>
		</p>
		<p>
			<input type="submit" value="Subir código"/>
		</p>
<?php
		}
		elseif($FileType == 'burn')
		{
?>
		<input type="hidden" name="type" value="burn"/>
		<p>
			<label for="file">Súbelo desde un archivo:<br/></label>
			<input type="file" name="file" id="file"/>
		</p>
		<p>
			<label for="dinput">Súbelo copiando el burn:<br/></label>
			<textarea name="dinput" id="dinput"></textarea>
		</p>
		<p>
			<input type="submit" value="Subir burn"/>
		</p>
<?php
		}
?>
	</form>
<?php
	}

	function LoginForm() {
?>
	<form action="login.php" method="post">
<?php
		if (isset($_GET['err'])) {
?>
		<p>
			<strong>Nombre de usuario o contraseña incorrectos.</strong>
		</p>
<?php
		}
?>
		<p>
			<label for="username">Usuario:<br/></label>
			<input type="text" name="username" id="username"/>
		</p>
		<p>
			<label for="password">Contraseña:<br/></label>
			<input type="password" name="password" id="password"/>
		</p>
		<p>
			<input type="submit" value="Iniciar sesión"/>
		</p>
	</form>
<?php
	}
	
	function FileDisplay($RoundId, $UserId, $FileType) {
		include_once 'filert.php';
		
		if($FileType == 'burn') {
			$file = getBurnDirName($RoundId). '/';
			$file .= getBurnFileName($RoundId, $UserId);
			$FileType = 'text';
		}
		else {
			$file = getCodeDirName($RoundId). '/';
			$file .= getCodeFileName($RoundId, $UserId, $FileType);
		}
?>
	<script type="text/javascript" src="js/shCore.js"></script>

	<script type="text/javascript" src="js/shBrushCpp.js"></script>
	<script type="text/javascript" src="js/shBrushJava.js"></script>
	<script type="text/javascript" src="js/shBrushPlain.js"></script>
	<script type="text/javascript" src="js/shBrushPython.js"></script>
	 
	<link href="css/shCore.css" rel="stylesheet" type="text/css" />
	<link href="css/shThemeDefault.css" rel="stylesheet" type="text/css" />
	 
	<pre class="brush: <?php echo $FileType; ?>"><?php echo htmlspecialchars(file_get_contents($file)); ?></pre>
	
	<script type="text/javascript">
		 SyntaxHighlighter.all();
	</script>
<?php
	}
?>