You are viewing a plain text version of this content. The canonical link for it is here.

Posted to dev@maven.apache.org by "Chris Bozic (JIRA)" <ji...@codehaus.org> on 2005/03/04 04:21:50 UTC

[jira] Created: (MPJBOSS-19) wish for maven.jboss.jndi.port property

wish for maven.jboss.jndi.port property
---------------------------------------

         Key: MPJBOSS-19
         URL: http://jira.codehaus.org/browse/MPJBOSS-19
     Project: maven-jboss-plugin
        Type: Improvement
    Versions: 1.5    
    Reporter: Chris Bozic
    Priority: Minor


It would be nice if the plugin had the ability to specify a jndi port for servers using manual port configuration.  This property could be used when generating the shutdown scripts. 

Instead of looking like 

"${maven.jboss.home}/bin/shutdown.sh -S"

it could look like

"${maven.jboss.home}/bin/shutdown.sh -s ${maven.jboss.hostname}:${maven.jboss.jndi.port} -S"

And thanks for the plugin!

-- 
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators:
   http://jira.codehaus.org/secure/Administrators.jspa
-
If you want more information on JIRA, or have a bug to report see:
   http://www.atlassian.com/software/jira


---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@maven.apache.org
For additional commands, e-mail: dev-help@maven.apache.org