Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-discussion] Change RMI Port at webprotege

Tania Tudorache tudorache at
Tue Mar 31 10:32:41 PDT 2009

Hi Dirk,

Here it is:

It is part of the Protege multi-user tutorial. You need to change  
(uncomment) the port lines in the run_protege_server script. You need to 
open two ports. It's all documented on the wiki.


Dirk Wintergruen wrote:
> Dear all,
> I am sure that is already answered somewhere on the list but I cannot  
> find it.
> How do I change WebProtege to listen to a different rmi port? My  
> server is runnin on 5100 instead of 1099.
> Best
> Dirk
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at
> Instructions for unsubscribing: 

More information about the protege-discussion mailing list