diff options
| author | cassio <cassiopc@gmail.com> | 2015-08-10 01:11:10 +0000 |
|---|---|---|
| committer | cassio <cassiopc@gmail.com> | 2015-08-10 01:11:10 +0000 |
| commit | 0ec22acb9a0b7700eb9b8577d57cc26aee69ac03 (patch) | |
| tree | 5626985ff997e376ae498ec424e166f7393e6eb4 /src | |
| parent | e80e0bbdb0b44f95caf6ee69456a05f1c4da65c3 (diff) | |
| download | boca-0ec22acb9a0b7700eb9b8577d57cc26aee69ac03.tar.gz boca-0ec22acb9a0b7700eb9b8577d57cc26aee69ac03.zip | |
scripts to submit, still to complete
Diffstat (limited to 'src')
| -rw-r--r-- | src/team/run.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/team/run.php b/src/team/run.php index d11447b..13cf2fd 100644 --- a/src/team/run.php +++ b/src/team/run.php @@ -177,7 +177,7 @@ if (count($run) == 0) $strtmp .= "<br><center><b><font color=\"#ff0000\">NO RUNS $linesubmission = @file_get_contents($_SESSION["locr"] . $ds . "private" . $ds . 'run-using-command.config'); if(trim($linesubmission) == '1') { $strtmp .= "<br><br><center><b>To submit a program, use the command-line tool:</b>\n<br><br>". - "<pre>boca-send-run USER PASSWORD PROBLEM LANGUAGE FILE</pre><br><br>". + "<pre>boca-submit-run USER PASSWORD PROBLEM LANGUAGE FILE</pre><br><br>". "where <pre>USER</pre> is your username, <pre>PASSWORD</pre> is your password, <pre>FILE</pre> is your submission file,<br>". "<pre>PROBLEM</pre> is one of { <pre>"; |