--- gsdl3srchome: /home/{{ ansible_user }}/greenstone3-svn # gsdl3srchome: /mnt//greenstone3-svn digital_librarian_info: { fullname: "Sam Someone", email: "sam.someone@mydomain.org" } # To allow tech-support to be someone different ... tech_support_info: { fullname: "Terry Tother", email: "terry.tother@mydomain.org" } gsdl3servlet_internal: { protocol: "http", domain: "localhost", # For testing purposes, work with a '63' range port: "8383", #port: "6363", context: "greenstone3", servlet: "library" } gsdl3_buildproperties_ports: { "localhost.port.http": "{{ gsdl3servlet_internal.port }}", "tomcat.shutdown.port": 8305, "tomcat.ajp.port": 8309, "derby.server.port": 8327, "tomcat.port.https": 8443 # For testing purposes, work with a '63' range and 64 for https #"tomcat.shutdown.port": 6305, #"tomcat.ajp.port": 6309, #"derby.server.port": 6327, #"tomcat.port.https": 6443 } # Create a CNAME record that maps your chosen domain name # to the external (i.e., publicly visible) IP number of this server gsdl3servlet_external: { protocol: "https", domain: ".", #COMMENT-OUT-IF-GCLOUD# #UNCOMMENT-IF-GCLOUD#domain: "@GSVM_INSTANCE@.@GSVM_TL_DOMAIN@", ##port: "80", # only need to set this if using 'http' and *not* using '80' #port: "443", # only need to set this if using 'https' and *not* using '443' # # The following two entries are typically kept the same as their gsdl3servlet_internal counterparts # This is done automatically in the following line using default() # # If you want to set this to a different value, then edit '' to include the desired value # context: "{{ '' | default(gsdl3servlet_internal.context,true) }}", servlet: "{{ '' | default(gsdl3servlet_internal.servlet,true) }}", } #### # Using Apache2 as a reverse-proxy server? #### apache2_as_revproxy: true apache2_revproxy_config: { # # The following is typically kept the same as the subdomain part of gsdl3servlet_external.domain # This is done automatically in the following line using default() # # If you want to set this to a different value, then edit '' to include the desired value # config_root_name: "{{ '' | default(gsdl3servlet_external['domain'].split('.') | first(),true) }}", serveradmin_email: "{{ tech_support_info.email }}", webserver_name: "{{ gsdl3servlet_external.domain }}", http_port: "80", https_port: "443" } #---- gsdl3_buildproperties_revproxy: { "revproxy.protocol": "{{ gsdl3servlet_external.protocol }}", "revproxy.domain": "{{ gsdl3servlet_external.domain }}", "revproxy.opt_port": "{{ gsdl3servlet_external.port | default('') }}", "revproxy.context": "{{ '/'+gsdl3servlet_external.context | default('') }}" }