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

[Andre Dietisheim (JIRA)]

     [ https://issues.jboss.org/browse/JBIDE-9227?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Andre Dietisheim updated JBIDE-9227:
------------------------------------

    Summary: AS7: when stopping the server, we provide a valid fallback (should kill process ?) if mgmt api is not available  (was: AS7: when stopping the server, we provide a valid fallback (should kill process ?) if mgm api is not available)


> AS7: when stopping the server, we provide a valid fallback (should kill process ?) if mgmt api is not available
> ---------------------------------------------------------------------------------------------------------------
>
>                 Key: JBIDE-9227
>                 URL: https://issues.jboss.org/browse/JBIDE-9227
>             Project: Tools (JBoss Tools)
>          Issue Type: Bug
>          Components: JBossAS
>    Affects Versions: 3.3.0.M1
>            Reporter: Andre Dietisheim
>            Assignee: Andre Dietisheim
>             Fix For: 3.3.0.M3
>
>


--
This message is automatically generated by JIRA.
For more information on JIRA, see: http://www.atlassian.com/software/jira