Comment changer Tomcat pour utiliser JDK 7

Comment changer Tomcat pour utiliser JDK 7

L'environnement actuel utilise Tomcat 7 + JDK 6. Comment configurer Tomcat pour utiliser JDK 7?

Environnement

  1. Tomcat 7 (installation apt-get)

  2. Debian 7.5

  3. JDK 6 et JDK 7

P.S Tomcat 7 is installed via `apt-get`

Note
Vous pourriez vous intéresser à ce tutoriel -Apache Tomcat 8 + JDK 8 on Debian

1. Solution

Mettre à jour lesJAVA_HOME dans ce fichier/etc/default/tomcat7

1.1 Edit /etc/default/tomcat7, update JAVA_HOME

$ sudo vim /etc/default/tomcat7

/etc/default/tomcat7

#...

# The home directory of the Java development kit (JDK). You need at least
# JDK version 1.5. If JAVA_HOME is not set, some common directories for
# OpenJDK, the Sun JDK, and various J2SE 1.5 versions are tried.
#JAVA_HOME=/usr/lib/jvm/openjdk-6-jdk
JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64

#...

1.2 Restart Tomcat, done.

$ sudo service tomcat7 restart

1.3 Check this article to find out which JDK is used by Tomcat.

No SPACE, What the F!
Assurez-vous qu'il n'y a pas d'espace supplémentaire entre le symbole égal "=", cela provoquera "JAVA_HOME non trouvé", j'ai passé des heures à corriger ce bug!

Par exemple

/etc/default/tomcat7

#...Wrong, SPACE
JAVA_HOME = /usr/lib/jvm/java-7-openjdk-amd64

#...Correct
JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64