Eclipse
/
jetty.project
mirror of https://github.com/jetty/jetty.project.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Do not use ${user.home} for unixdomain.dir 

(it causes an OOM for the huge file list it produces)
This commit is contained in:
Joakim Erdfelt 2024-01-02 15:10:49 -06:00
parent 6ae676c7d6
commit 8770cc15ea
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pom.xml
View File

@ -1985,7 +1985,7 @@
</os> </os>
</activation> </activation>
<properties> <properties>
<jetty.unixdomain.dir>${user.home}</jetty.unixdomain.dir> <jetty.unixdomain.dir>${java.io.tmpdir}</jetty.unixdomain.dir>
</properties> </properties>
</profile> </profile>
<profile> <profile>