PID file is not deleted when using LAUNCH_JBOSS_IN_BACKGROUND and JBOSS_PIDFILE properties ------------------------------------------------------------------------------------------ Key: AS7-1884 URL: https://issues.jboss.org/browse/AS7-1884 Project: Application Server 7 Issue Type: Bug Components: Scripts Affects Versions: 7.0.1.Final Reporter: Rostislav Svoboda Assignee: Rostislav Svoboda PID file is not deleted when using LAUNCH_JBOSS_IN_BACKGROUND=true and JBOSS_PIDFILE=/path/where/you/want/to/have/PIDfile properties. Applies to both standalone.sh and domain.sh. -- This message is automatically generated by JIRA. For more information on JIRA, see: http://www.atlassian.com/software/jira