From d75956684f9599b8daf705b11d67c75186ea7e3f Mon Sep 17 00:00:00 2001 From: cassiopc Date: Mon, 6 Aug 2012 17:27:18 +0200 Subject: moving problem examples to better places and fixing a couple of typos in the problem's interface --- boca-1.5.0/tools/etc/icpc/becomeserver.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'boca-1.5.0/tools/etc') diff --git a/boca-1.5.0/tools/etc/icpc/becomeserver.sh b/boca-1.5.0/tools/etc/icpc/becomeserver.sh index 31db6db..07caccf 100755 --- a/boca-1.5.0/tools/etc/icpc/becomeserver.sh +++ b/boca-1.5.0/tools/etc/icpc/becomeserver.sh @@ -190,7 +190,7 @@ fi if [ "$OK" == "y" ]; then cd $bocadir/src php private/createdb.php -cd - +cd - >/dev/null 2>/dev/null echo "database renewed. Data on bocadb has been lost" else echo "*** database not erased. Check if BOCA is compatible. You can always erase the database and" -- cgit v1.2.3