Re: RFR: 8290313: Produce warning when user specified java.io.tmpdir directory doesn't exist [v5]

2022-11-23 Thread Roger Riggs
Please review a PR to put the test on the ProblemList until the test is fixed. https://github.com/openjdk/jdk/pull/11334 Thanks, Roger On 11/23/22 3:27 PM, Daniel D. Daugherty wrote: On Mon, 21 Nov 2022 16:35:46 GMT, Weibing Xiao wrote: print warning message for java.io.tmpdir when it is

Re: RFR: 8290313: Produce warning when user specified java.io.tmpdir directory doesn't exist [v5]

2022-11-23 Thread Daniel D . Daugherty
On Mon, 21 Nov 2022 16:35:46 GMT, Weibing Xiao wrote: >> print warning message for java.io.tmpdir when it is set through the command >> line and the value is not good for creating file folder. > > Weibing Xiao has updated the pull request incrementally with one additional > commit since the

Re: RFR: 8290313: Produce warning when user specified java.io.tmpdir directory doesn't exist [v5]

2022-11-21 Thread Sean Coffey
On Mon, 21 Nov 2022 16:35:46 GMT, Weibing Xiao wrote: >> print warning message for java.io.tmpdir when it is set through the command >> line and the value is not good for creating file folder. > > Weibing Xiao has updated the pull request incrementally with one additional > commit since the

Re: RFR: 8290313: Produce warning when user specified java.io.tmpdir directory doesn't exist [v5]

2022-11-21 Thread Weibing Xiao
> print warning message for java.io.tmpdir when it is set through the command > line and the value is not good for creating file folder. Weibing Xiao has updated the pull request incrementally with one additional commit since the last revision: update according to the review comments