diff options
| author | cassiopc <cassiopc@gmail.com> | 2012-08-31 08:08:29 +0000 |
|---|---|---|
| committer | cassiopc <cassiopc@gmail.com> | 2012-08-31 08:08:29 +0000 |
| commit | 91f585b3fdd9e64c086b21da35bebdc401e2e476 (patch) | |
| tree | 3860a7275ed83bedd5a32a0c0289c0f9e2741c1b /boca-1.5.0/tools/etc/icpc | |
| parent | df3c19b483613031bc2d8c51bb90b1a6ebe6b934 (diff) | |
| download | boca-91f585b3fdd9e64c086b21da35bebdc401e2e476.tar.gz boca-91f585b3fdd9e64c086b21da35bebdc401e2e476.zip | |
inclusion of interface to create the zip of a problem
Diffstat (limited to 'boca-1.5.0/tools/etc/icpc')
| -rwxr-xr-x | boca-1.5.0/tools/etc/icpc/becomeserver.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/boca-1.5.0/tools/etc/icpc/becomeserver.sh b/boca-1.5.0/tools/etc/icpc/becomeserver.sh index 07caccf..33bebea 100755 --- a/boca-1.5.0/tools/etc/icpc/becomeserver.sh +++ b/boca-1.5.0/tools/etc/icpc/becomeserver.sh @@ -119,13 +119,13 @@ done for i in `ls /etc/postgresql/*/main/postgresql.conf`; do grep -q "^[^\#]*shared_buffers" $i if [ $? != 0 ]; then - echo "shared_buffers = 32MB" >> $i + echo "shared_buffers = 128MB" >> $i fi done for i in `ls /etc/postgresql/*/main/postgresql.conf`; do grep -q "^[^\#]*work_mem" $i if [ $? != 0 ]; then - echo "work_mem = 3MB" >> $i + echo "work_mem = 4MB" >> $i fi done |