Page tree
Skip to end of metadata
Go to start of metadata

Overview

Install tomcat7 (or 8) as normal for your environment.

Edit Tomcat configuration file

For the IHTSDO production environment this is /etc/default/tomcat7 (for your enviornment it may be /etc/tomcat7/tomcat7.conf). The key is to set JAVA_OPTS to include large enough memory and a "refset.config" that points to the location of your config.properties file.  For example:

JAVA_OPTS="-Djava.awt.headless=true -Xmx3000m -XX:+UseConcMarkSweepGC -Drefset.config=/var/lib/tomcat7/conf/config.properties"
  • No labels