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 /tools | |
| parent | 9ddc5ee4b2ad8fc955dfa25d094d4fb2b9216c55 (diff) | |
| download | boca-9f5042d57a0656fa3d0d87e5457d3a8c8876023a.tar.gz boca-9f5042d57a0656fa3d0d87e5457d3a8c8876023a.zip | |
removal of duplicate file
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/autojudge.sh | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/tools/autojudge.sh b/tools/autojudge.sh deleted file mode 100755 index 6123eed..0000000 --- a/tools/autojudge.sh +++ /dev/null @@ -1,26 +0,0 @@ -#!/bin/bash -# //////////////////////////////////////////////////////////////////////////////// -# //BOCA Online Contest Administrator -# // Copyright (C) 2003-2012 by BOCA Development Team (bocasystem@gmail.com) -# // -# // This program is free software: you can redistribute it and/or modify -# // it under the terms of the GNU General Public License as published by -# // the Free Software Foundation, either version 3 of the License, or -# // (at your option) any later version. -# // -# // This program is distributed in the hope that it will be useful, -# // but WITHOUT ANY WARRANTY; without even the implied warranty of -# // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# // GNU General Public License for more details. -# // You should have received a copy of the GNU General Public License -# // along with this program. If not, see <http://www.gnu.org/licenses/>. -# //////////////////////////////////////////////////////////////////////////////// -# // Last modified 06/aug/2012 by cassio@ime.usp.br -if [ "`id -u`" != "0" ]; then - echo "Must be run as root" - exit 1 -fi -bocadir=/var/www/boca -[ -r /etc/boca.conf ] && . /etc/boca.conf -cd $bocadir/src -php private/autojudging.php |