[jbosstools-issues] [JBoss JIRA] Issue Comment Edited: (JBIDE-9227) AS7: when stopping the server, we provide a valid fallback (should kill process ?) if mgmt api is not available

[ https://issues.jboss.org/browse/JBIDE-9227?page=com.atlassian.jira.plugin... ] Andre Dietisheim edited comment on JBIDE-9227 at 7/22/11 10:52 AM: ------------------------------------------------------------------- postponed since we need to identify the usecases that are affected if manamgenent API is not available: * server state detection (may poll with mgmt api) * stopping * set the deployment dir * ... We need to provide valid alternative approaches for all of them. was (Author: adietish): postponed since we need to be sure of all usecases that are affected if manamgenent API is not available: * server state detection (may poll with mgmt api) * stopping * set the deployment dir * ... -- This message is automatically generated by JIRA. For more information on JIRA, see: http://www.atlassian.com/software/jira