[jboss-user] [JBoss Tools (users)] - Re: Jboss Tools - Few first questions

2008-02-04 Thread [EMAIL PROTECTED]
anonymous wrote : | trouby wrote : Hey, | | | | anonymous wrote : | | | When the server is running there is a Restart button in the main toolbar. Yeah - should probably be in the menu too (report in jira - thanks) | | | | | | Note: that besides restart we also

[jboss-user] [JBoss Tools (users)] - Re: Jboss Tools - Few first questions

2008-02-04 Thread trouby
Hey, anonymous wrote : | When the server is running there is a Restart button in the main toolbar. Yeah - should probably be in the menu too (report in jira - thanks) | | Note: that besides restart we also have the touch functionallity which touches the relevant descriptor depending on

[jboss-user] [JBoss Tools (users)] - Re: Jboss Tools - Few first questions

2008-02-04 Thread [EMAIL PROTECTED]
trouby wrote : | 1) Right click on the server - I can't see a way to restart the server, only stop/start, is there a restart button somewhere? | When the server is running there is a Restart button in the main toolbar. Yeah - should probably be in the menu too (report in jira - thanks)