Changeset 37137
- Timestamp:
- 2023-01-15T00:54:38+13:00 (16 months ago)
- Location:
- main/trunk/greenstone3
- Files:
-
- 4 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/greenstone3/build.properties.svn
r37129 r37137 7 7 # sitting in front of Tomcat, then uncomment the following and set accordingly 8 8 # 9 # It is unlikely that you will need to explicity set 'revproxy. port', given the main point10 # of a reverse-proxy web server is to provide a cleaner (hardened) URL for users to access 9 # It is unlikely that you will need to explicity set 'revproxy.opt_port', given the main point 10 # of a reverse-proxy web server is to provide a cleaner (hardened) URL for users to access. 11 11 # It is included for completeness. 12 12 # 13 # If you do not text 'revproxy.context' then it will default to 'greenstone3.context'13 # If you do not set 'revproxy.context' then it will default to 'greenstone3.context' 14 14 #revproxy.protocol=https 15 #revproxy. server=<mydomain.org>16 ##revproxy. port=808015 #revproxy.domain=<mydomain.org> 16 ##revproxy.opt_port=8080 17 17 ##revproxy.context=/greenstone3 18 18 -
main/trunk/greenstone3/build.xml
r37130 r37137 1216 1216 1217 1217 <target name="get-revproxy-servlet-url"> 1218 <if><bool><isset property="revproxy. port"/></bool>1219 <property name="revproxy. optport" value=":${revproxy.port}"/>1218 <if><bool><isset property="revproxy.opt_port"/></bool> 1219 <property name="revproxy.colon_opt_port" value=":${revproxy.opt_port}"/> 1220 1220 <else> 1221 <property name="revproxy. optport" value=""/>1221 <property name="revproxy.colon_opt_port" value=""/> 1222 1222 </else> 1223 1223 </if> … … 1230 1230 1231 1231 1232 <echo>${revproxy.protocol}://${revproxy. server}${revproxy.optport}${revproxy.app.path}${server.default.servlet}</echo>1232 <echo>${revproxy.protocol}://${revproxy.domain}${revproxy.colon_opt_port}${revproxy.app.path}${server.default.servlet}</echo> 1233 1233 </target> 1234 1234 … … 1253 1253 1254 1254 <target name="get-external-servlet-url"> 1255 <if><bool><isset property="revproxy. server"/></bool>1255 <if><bool><isset property="revproxy.domain"/></bool> 1256 1256 <antcall target="get-revproxy-servlet-url"/> 1257 1257 <else> … … 1903 1903 <filter token="gsdl3writablehome" value="${src.gsdl3.writablehome.unix}"/> 1904 1904 <filter token="gsdl3version" value="${app.version}"/> 1905 <filter token="revproxy.protocol" value="${revproxy.protocol}"/> 1906 <filter token="revproxy.domain" value="${revproxy.domain}"/> 1907 <filter token="revproxy.opt_port" value="${revproxy.opt_port}"/> 1908 <filter token="revproxy.context" value="${revproxy.context}"/> 1905 1909 <filter token="server.protocols" value="${server.protocols}"/> 1906 1910 <filter token="default.server.protocol" value="${default.server.protocol}"/> -
main/trunk/greenstone3/resources/web/global.properties.svn
r36879 r37137 31 31 [email protected]@ 32 32 33 ## Reverse Proxy Settings 34 [email protected]@ 35 [email protected]@ 36 [email protected]_port@ 37 [email protected]@ 38 33 39 34 40 ## Proxy setup - set these if you are behind a firewall and you want services that access the internet -
main/trunk/greenstone3/web/interfaces/default/transform/layouts/header-vars.xsl
r37092 r37137 22 22 </xsl:variable> 23 23 24 <xsl:variable name="servletProtocol"> 25 <xsl:value-of select="/page/pageResponse/interfaceOptions/option[@name = 'servlet_protocol']/@value"/> 26 </xsl:variable> 27 <xsl:variable name="servletDomain"> 28 <xsl:value-of select="/page/pageResponse/interfaceOptions/option[@name = 'servlet_domain']/@value"/> 29 </xsl:variable> 30 <xsl:variable name="servletOptPort"> 31 <xsl:value-of select="/page/pageResponse/interfaceOptions/option[@name = 'servlet_opt_port']/@value"/> 32 </xsl:variable> 33 <xsl:variable name="servletContext"> 34 <xsl:value-of select="/page/pageResponse/interfaceOptions/option[@name = 'servlet_context']/@value"/> 35 </xsl:variable> 36 24 37 </xsl:stylesheet>
Note:
See TracChangeset
for help on using the changeset viewer.