[protege-discussion] Change RMI Port at webprotege

[Tania Tudorache]

Hi Dirk,

Here it is:
http://protegewiki.stanford.edu/index.php/Protege_Client_Server_Tutorial_Advanced#Working_with_Firewalls

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.

Tania

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 lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 
>
>