Debian

Redémarrer Tomcat

sudo service tomcat6 restart ou sudo service tomcat-other restart

Connaître la version de Debian

head -1 /etc/issue

Chercher une chaîne

grep -ril 'eurogin2017' ./