From 0ec22acb9a0b7700eb9b8577d57cc26aee69ac03 Mon Sep 17 00:00:00 2001 From: cassio Date: Sun, 9 Aug 2015 22:11:10 -0300 Subject: scripts to submit, still to complete --- src/team/run.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/team/run.php') 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 .= "
NO RUNS $linesubmission = @file_get_contents($_SESSION["locr"] . $ds . "private" . $ds . 'run-using-command.config'); if(trim($linesubmission) == '1') { $strtmp .= "

To submit a program, use the command-line tool:\n

". - "
boca-send-run USER PASSWORD PROBLEM LANGUAGE FILE


". + "
boca-submit-run USER PASSWORD PROBLEM LANGUAGE FILE


". "where
USER
is your username,
PASSWORD
is your password,
FILE
is your submission file,
". "
PROBLEM
is one of {
";
 
-- 
cgit v1.2.3