Opened 7 years ago
Last modified 3 years ago
#915 new enhancement
changing ports in gs3-server
Reported by: | kjdon | Owned by: | nobody |
---|---|---|---|
Priority: | moderate | Milestone: | 3.11 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.
Ticket retargeted after milestone closed