Skip to content

Instantly share code, notes, and snippets.

@gnodet
Created September 13, 2010 13:30
Show Gist options
  • Save gnodet/577272 to your computer and use it in GitHub Desktop.
Save gnodet/577272 to your computer and use it in GitHub Desktop.
<!-- Allow the use of system properties -->
<ext:property-placeholder placeholder-prefix="$[" placeholder-suffix="]"/>
<!-- Property place holder -->
<cm:property-placeholder persistent-id="org.apache.karaf.management">
<cm:default-properties>
<cm:property name="rmiRegistryPort" value="1099"/>
<cm:property name="jmxRealm" value="karaf"/>
<cm:property name="serviceUrl" value="service:jmx:rmi:///jndi/rmi://localhost:1099/karaf-$[karaf.name]"/>
<cm:property name="daemon" value="true"/>
<cm:property name="threaded" value="true"/>
<cm:property name="objectName" value="connector:name=rmi"/>
</cm:default-properties>
</cm:property-placeholder>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment