Changeset 36127

Timestamp:

2022-04-04T13:15:53+12:00 (2 years ago)

Author:

davidb

Message:

Changing the derby default port used in Greenstone3 to be in the '83xx' range to be consistent with the other ports we use

File:

• main/trunk/greenstone3/build.properties.svn (modified) (1 diff)

main/trunk/greenstone3/build.properties.svn

@@ -86 +86 @@
 # using.user.web=true
 
-# Default derby networked server portnumber is 1527, can change this here in case of conflict
-derby.server.port=1527
+# While the default derby networked server portnumber is 1527, for Greenstone3 we choose to
+# move this up into the '83' range
+derby.server.port=8327
 # The following is best left as it is, except if 'localhost' doesn't work on your machine,
 # then try setting it to 127.0.0.1 or its IPv6 equivalent 0:0:0:0:0:0:0:1