From 9f5042d57a0656fa3d0d87e5457d3a8c8876023a Mon Sep 17 00:00:00 2001 From: Cassio de Campos Date: Fri, 18 Aug 2017 10:43:46 +0100 Subject: removal of duplicate file --- doc/AUTOJUDGING.txt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'doc/AUTOJUDGING.txt') 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 -- cgit v1.2.3