[Merge] lp:~yolanda.robla/ubuntu/trusty/tomcat7/add_distribution into lp:ubuntu/tomcat7

[James Page]

Review: Needs Fixing

Discussed with Yolanda on IRC

A better approach would be to set a new system property in the tomcat7 init script and then use this (if set) to set the distribution in server info.

This is a smaller code impact and is more efficient than either exec of lsb_release or reading /etc/os-release every time server info needs to be displayed.
-- 
https://code.launchpad.net/~yolanda.robla/ubuntu/trusty/tomcat7/add_distribution/+merge/194817
Your team Ubuntu branches is subscribed to branch lp:ubuntu/tomcat7.