Updated Branches: refs/heads/develop c27139de2 -> 767d21033
MARMOTTA-392: patched default marmotta webapp launcher, now using the proper java property via maven Project: http://git-wip-us.apache.org/repos/asf/marmotta/repo Commit: http://git-wip-us.apache.org/repos/asf/marmotta/commit/767d2103 Tree: http://git-wip-us.apache.org/repos/asf/marmotta/tree/767d2103 Diff: http://git-wip-us.apache.org/repos/asf/marmotta/diff/767d2103 Branch: refs/heads/develop Commit: 767d21033118bbc4376598af830f9c9507faca79 Parents: c27139d Author: Sergio Fernández <[email protected]> Authored: Thu Nov 28 12:19:39 2013 +0100 Committer: Sergio Fernández <[email protected]> Committed: Thu Nov 28 12:19:39 2013 +0100 ---------------------------------------------------------------------- launchers/marmotta-webapp/pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) ---------------------------------------------------------------------- http://git-wip-us.apache.org/repos/asf/marmotta/blob/767d2103/launchers/marmotta-webapp/pom.xml ---------------------------------------------------------------------- diff --git a/launchers/marmotta-webapp/pom.xml b/launchers/marmotta-webapp/pom.xml index 0dc685f..08c787f 100644 --- a/launchers/marmotta-webapp/pom.xml +++ b/launchers/marmotta-webapp/pom.xml @@ -34,7 +34,7 @@ <properties> <!-- these are used for the goals tomcat6/7:run or jetty:run --> - <marmotta.home>/tmp/marmotta</marmotta.home> + <marmotta.home>${java.io.tmpdir}/marmotta</marmotta.home> <marmotta.context>/</marmotta.context> <marmotta.port>8080</marmotta.port> </properties>
