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


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 file.  For example:

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