Ignore:
Timestamp:
2015-06-09T19:23:24+12:00 (9 years ago)
Author:
ak19
Message:

Related to commits 29903 and 29923. Adding a property for the derbyserver, which will be localhost by default.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • main/trunk/greenstone3/build.properties.in

    r29903 r29977  
    1818# Default derby networked server portnumber is 1527, can change this here in case of conflict
    1919derby.server.port=1527
     20# The following is best left as it is, except if 'localhost' doesn't work on your machine,
     21# then try setting it to 127.0.0.1 or its IPv6 equivalent 0:0:0:0:0:0:0:1
     22derby.server=localhost
    2023
    2124## Collection building options
Note: See TracChangeset for help on using the changeset viewer.