Re: RFR: 8302496: Runtime.exit incorrectly says it never throws an exception [v3]

2023-05-02 Thread Stuart Marks
On Tue, 2 May 2023 06:04:17 GMT, Alan Bateman wrote: >> Stuart Marks has updated the pull request incrementally with one additional >> commit since the last revision: >> >> Update Runtime.halt. > > Updated version, and the wording of halt's description, looks okay. @AlanBateman Great. Can yo

Re: RFR: 8302496: Runtime.exit incorrectly says it never throws an exception [v3]

2023-05-01 Thread Alan Bateman
On Tue, 2 May 2023 04:48:07 GMT, Stuart Marks wrote: >> Textual specification clarifications. > > Stuart Marks has updated the pull request incrementally with one additional > commit since the last revision: > > Update Runtime.halt. Updated version, and the wording of halt's description, loo

Re: RFR: 8302496: Runtime.exit incorrectly says it never throws an exception [v3]

2023-05-01 Thread Stuart Marks
> Textual specification clarifications. Stuart Marks has updated the pull request incrementally with one additional commit since the last revision: Update Runtime.halt. - Changes: - all: https://git.openjdk.org/jdk/pull/13706/files - new: https://git.openjdk.org/jdk/pull/1370

Re: RFR: 8302496: Runtime.exit incorrectly says it never throws an exception [v3]

2023-05-01 Thread Stuart Marks
On Mon, 1 May 2023 16:11:59 GMT, Stuart Marks wrote: >> One thing you could do is reduce the words down to something like "Unless >> denied exiting by the security manager, this method blocks indefinitely ..." >> to avoid complicating the first paragraph with something that only arises >> with