Search Mailing List Archives
[protege-discussion] Change RMI Port at webprotege
dwinter at mpiwg-berlin.mpg.de
Mon Mar 30 21:21:00 PDT 2009
I am sure that is already answered somewhere on the list but I cannot
How do I change WebProtege to listen to a different rmi port? My
server is runnin on 5100 instead of 1099.
More information about the protege-discussion