Bridge API to connect with existing Java APIs.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
jjeejj opened this issue 2 years ago · comments
现在有个需求 要修改临时目录 java.io.tmpdir。 使用 java.options.push(-Djava.io.tmpdir=当前有权限的目录) 没有生效
java.io.tmpdir
java.options.push(-Djava.io.tmpdir=当前有权限的目录)