diff options
| author | Cassio de Campos <cassiopc@gmail.com> | 2017-08-18 09:43:46 +0000 |
|---|---|---|
| committer | Cassio de Campos <cassiopc@gmail.com> | 2017-08-18 09:43:46 +0000 |
| commit | 9f5042d57a0656fa3d0d87e5457d3a8c8876023a (patch) | |
| tree | 7a1ca890d49d967474ae9ade329244f4347f27a1 /doc/AUTOJUDGING.txt | |
| parent | 9ddc5ee4b2ad8fc955dfa25d094d4fb2b9216c55 (diff) | |
| download | boca-9f5042d57a0656fa3d0d87e5457d3a8c8876023a.tar.gz boca-9f5042d57a0656fa3d0d87e5457d3a8c8876023a.zip | |
removal of duplicate file
Diffstat (limited to 'doc/AUTOJUDGING.txt')
| -rw-r--r-- | doc/AUTOJUDGING.txt | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/AUTOJUDGING.txt b/doc/AUTOJUDGING.txt index cf81f06..8406a4f 100644 --- a/doc/AUTOJUDGING.txt +++ b/doc/AUTOJUDGING.txt @@ -34,8 +34,7 @@ and if the current working directory (ie, ".") is included in the PATH environment variable. $ sudo /bin/bash -# cd /var/www/boca/src -# /var/www/boca/tools/autojudge.sh +# /var/www/boca/tools/boca-autojudge.sh ## or /usr/sbin/boca-autojudge The autojudging.php will stay running until CRTL+C is pressed or it's killed by some other way. Autojudging waits |