Ticket #915 (new enhancement)

Opened 10 months ago

changing ports in gs3-server

Reported by: kjdon Owned by: nobody
Priority: moderate Milestone: 3.09 Release
Component: Greenstone3 Runtime Severity: enhancement
Keywords: Cc:

Description

in the server program, File->Settings allows the user to change the tomcat port. we should add in shutdown port and derby port to here too.

Maybe all three are sequential? 8383, 8384, 8385?

If the user changes the main one (8383) then the other two will automatically change to be sequential from that. And then there could be a button to allow manual explicit change of the other two?

Note: See TracTickets for help on using tickets.