tidy up mysql restart and do not bother killing tomcat
tidy up mysql restart and do not bother killing tomcat

marsbard/puppet-alfresco,marsbard/puppet-alfresco,marsbard/puppet-alfresco,digcat/puppet-alfresco,digcat/puppet-alfresco,digcat/puppet-alfresco,marsbard/puppet-alfresco,digcat/puppet-alfresco,marsbard/puppet-alfresco,digcat/puppet-alfresco