diff options
| -rwxr-xr-x | vagrant_scripts/idm_bootstrap.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/vagrant_scripts/idm_bootstrap.sh b/vagrant_scripts/idm_bootstrap.sh index ecd9b84..fb8cac1 100755 --- a/vagrant_scripts/idm_bootstrap.sh +++ b/vagrant_scripts/idm_bootstrap.sh @@ -1,6 +1,6 @@ #!/bin/bash -export OPENIDM_OPTS="-Xms128m -Xmx256m" +export OPENIDM_OPTS="-Xms512m -Xmx768m" echo "export OPENIDM_OPTS=\"${OPENIDM_OPTS}\"" >> /etc/profile apt-get --yes update |