Merge branch 'develop' of https://github.com/vivo-project/Vitro into develop
This commit is contained in:
commit
556af80432
2 changed files with 31 additions and 2 deletions
|
@ -9,6 +9,36 @@
|
||||||
====================================================================== -->
|
====================================================================== -->
|
||||||
|
|
||||||
<project name="vitroCore" default="describe">
|
<project name="vitroCore" default="describe">
|
||||||
|
<property environment="env" />
|
||||||
|
|
||||||
|
<!-- We must be using a suitable version of Java. -->
|
||||||
|
<fail>
|
||||||
|
<condition>
|
||||||
|
<not>
|
||||||
|
<or>
|
||||||
|
<equals arg1="1.7" arg2="${ant.java.version}" />
|
||||||
|
<equals arg1="1.8" arg2="${ant.java.version}" />
|
||||||
|
</or>
|
||||||
|
</not>
|
||||||
|
</condition>
|
||||||
|
The Vitro build script requires Java 7 or later.
|
||||||
|
Java system property java.version = ${java.version}
|
||||||
|
Java system property java.home = ${java.home}
|
||||||
|
JAVA_HOME environment variable = ${env.JAVA_HOME}
|
||||||
|
</fail>
|
||||||
|
|
||||||
|
<!-- We must be using a suitable version of Ant. -->
|
||||||
|
<fail>
|
||||||
|
<condition>
|
||||||
|
<not>
|
||||||
|
<antversion atleast="1.8" />
|
||||||
|
</not>
|
||||||
|
</condition>
|
||||||
|
The Vitro build script requires Ant 1.8 or later.
|
||||||
|
Ant property ant.version = ${ant.version}
|
||||||
|
Ant property ant.home = ${ant.home}
|
||||||
|
ANT_HOME environment variable = ${env.ANT_HOME}
|
||||||
|
</fail>
|
||||||
|
|
||||||
<!-- A product script will override appbase.dir, but not corebase.dir -->
|
<!-- A product script will override appbase.dir, but not corebase.dir -->
|
||||||
<dirname property="corebase.dir" file="${ant.file.vitroCore}" />
|
<dirname property="corebase.dir" file="${ant.file.vitroCore}" />
|
||||||
|
|
|
@ -43,8 +43,7 @@ public class SessionTimeoutLimitingFilter implements Filter {
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* If this request has a trivial session object -- that is, the user is not
|
* If this request has a trivial session object -- that is, the user is not
|
||||||
* logged in and not self-editing -- then give it a short expiration
|
* logged in -- then give it a short expiration interval.
|
||||||
* interval.
|
|
||||||
*/
|
*/
|
||||||
private void limitTrivialSession(ServletRequest servletRequest) {
|
private void limitTrivialSession(ServletRequest servletRequest) {
|
||||||
if (!(servletRequest instanceof HttpServletRequest)) {
|
if (!(servletRequest instanceof HttpServletRequest)) {
|
||||||
|
|
Loading…
Add table
Reference in a new issue