Search Mailing List Archives
[protege-discussion] Change RMI Port at webprotege
tudorache at stanford.edu
Tue Mar 31 10:32:41 PDT 2009
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.
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
More information about the protege-discussion