if (!empty($_GET['contest_id'])) { $contest_id = get_to_html($_GET['contest_id']); echo "<label>Contest ID:<input name='contest_id' value='{$contest_id}'></label>"; } ?> <p> <label>Language: <?php $submit_language = $language_array; unset($submit_language['']); unset($submit_language[3]); //pascal //unset($submit_language[4]);//java unset($submit_language[5]); //python Draw_Options($submit_language, 'language', 2); ?> </label> </p> <p> <label>Source:<br> <textarea name="code" cols="100" rows="40"></textarea> </label> </p> <p> <label> <input type="submit" name="Submit" value="Submit"> </label> <label> <input type="reset" name="Submit2" value="Reset"> </label>
/> Problem ID: <input name="pro_id" <?php if (!empty($_GET['pro_id'])) { echo ' value="' . get_to_html($_GET['pro_id']) . '"'; } ?> /> Result: <?php Draw_Options($result_array, 'result', $_GET['result']); ?> Language: <?php Draw_Options($language_array, 'language', $_GET['language']); ?> <input type="submit" value="Go" /> </form> <table class='table_list wide_list' border=1> <tr> <th>Run ID</th> <th>User</th> <th>Problem</th> <th>Result</th> <th>Memory</th> <th>Time</th> <th>Language</th> <th>Code Length</th> <th>Submit Time</th> </tr>