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

Dirk Wintergruen dwinter at mpiwg-berlin.mpg.de
Mon Mar 30 21:21:00 PDT 2009

Previous message: [protege-discussion] [Protege] Can't load instances into CLIPS
Next message: [protege-discussion] Change RMI Port at webprotege
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: [protege-discussion] [Protege] Can't load instances into CLIPS
Next message: [protege-discussion] Change RMI Port at webprotege
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the protege-discussion mailing list