tools - boca.git - This is an administration system to held programming contests

Mode	Name	Size
-rw-r--r--	.htaccess	14	log plain
-rw-r--r--	000-boca.conf	552	log plain
-rw-r--r--	000-boca.conf-ssl	1474	log plain
-rwxr-xr-x	boca-auth-runs	2951	log plain
-rw-r--r--	boca-autojudge.sh	1570	log plain
-rwxr-xr-x	boca-checkinternet	996	log plain
-rw-r--r--	boca-config-dbhost.sh	2476	log plain
-rw-r--r--	boca-createdb.sh	2748	log plain
-rwxr-xr-x	boca-createjail	3969	log plain
-rw-r--r--	boca-fixes	1027	log plain
-rw-r--r--	boca-fixssh	708	log plain
-rw-r--r--	boca-outmanage	4099	log plain
-rw-r--r--	boca-submit-log	5013	log plain
-rwxr-xr-x	boca-submit-run	2315	log plain
-rwxr-xr-x	boca-submit-run-aux	3649	log plain
-rwxr-xr-x	boca-submit-run-cron	633	log plain
-rwxr-xr-x	boca-submit-run-root	2866	log plain
-rw-r--r--	boca-submit-run-root-wrapper.c	677	log plain
-rw-r--r--	boca.conf	22	log plain
-rw-r--r--	control-machines.sh	2623	log plain
-rw-r--r--	cron-boca-fixes	92	log plain
-rw-r--r--	cron-boca-fixssh	92	log plain
-rw-r--r--	cron-boca-log	106	log plain
-rw-r--r--	cron-boca-submit	96	log plain
-rwxr-xr-x	dump.sh	765	log plain
-rwxr-xr-x	makebkp.sh	659	log plain
d---------	postgresql / 10 / main	29	log plain
-rw-r--r--	safeexec.c	17219	log plain
-rwxr-xr-x	singlefilebkp.sh	1707	log plain