Open Source Document Management System | OpenKM

The default port of OpenKM is 8080, which has been occupied by CruiseControl(a continuous integration software written in Java) on my computer. I found that I have to shutdown one of them to acess the other. So I wish to change the port of OpenKM and avoid the conflict. I cannot found the solution at http://wiki.openkm.com, so I come here for help. Thanks in advance!

Read Several JBoss in the same server and Several JBoss instances in the same server.

pavila wrote:Read Several JBoss in the same server and Several JBoss instances in the same server.

Several JBoss in the same server need a wiki account to access.

In Several JBoss instances in the same server
The file
$JBOSS_HOME/server/default/deploy/jbossweb-tomcat55.sar/server.xml
doesn't exist. Actually the path
$JBOSS_HOME/server/default/deploy/jbossweb-tomcat55.sar/
doesn't exist. I'm using openkm 5.1.9 with jboss 4.2.3. I guess the wiki doesn't catch up the version update. I search directory $JBOSS_HOME for file "server.xml", and find
$JBOSS_HOME/server/default/deploy/jboss-web.deployer/server.xml
Is it the right file to change the port 8080?

And I have another question: I don't need multiple jboss instance, do I need to change the ports besides 8080?

If you have several jboss in save server is necessary change others ports than 8080