On Wed, 9 Jun 2021 14:13:06 GMT, Erik Joelsson wrote:
>> ScientificWare has updated the pull request incrementally with one
>> additional commit since the last revision:
>>
>> Changes to keep home_dtd null check.
>>
>> As suggested in conversati
On Thu, 22 Apr 2021 13:47:03 GMT, ScientificWare
wrote:
> This concerns [dtdbuilder
> tools](https://github.com/openjdk/jdk/tree/master/make/jdk/src/classes/build/tools/dtdbuilder).
>
> In jshell, try `System.getProperty("html32") + ""` you'll get a `
On Wed, 9 Jun 2021 14:13:06 GMT, Erik Joelsson wrote:
>> ScientificWare has updated the pull request incrementally with one
>> additional commit since the last revision:
>>
>> Changes to keep home_dtd null check.
>>
>> As suggested in conversati
On Wed, 9 Jun 2021 00:42:35 GMT, ScientificWare
wrote:
>> This concerns [dtdbuilder
>> tools](https://github.com/openjdk/jdk/tree/master/make/jdk/src/classes/build/tools/dtdbuilder).
>>
>> In jshell, try `System.getProperty("html32") + ""` you'
On Tue, 8 Jun 2021 12:37:27 GMT, Erik Joelsson wrote:
>> ScientificWare has updated the pull request incrementally with one
>> additional commit since the last revision:
>>
>> Changes to keep home_dtd null check.
>>
>> As suggested in conversati
` property is set, the `dtd_home`
> string value is not `null`, causing an exception with the present test.
>
> The expected value is `"Must set property 'dtd_home'"`
>
> And in this case, should'nt we have a `System.exit(1)` too rather than a
>
On Thu, 22 Apr 2021 13:47:03 GMT, ScientificWare
wrote:
> This concerns [dtdbuilder
> tools](https://github.com/openjdk/jdk/tree/master/make/jdk/src/classes/build/tools/dtdbuilder).
>
> In jshell, try `System.getProperty("html32") + ""` you'll get a `
This concern [dtdbuilder
tools](https://github.com/openjdk/jdk/tree/master/make/jdk/src/classes/build/tools/dtdbuilder).
In jshell, try `System.getProperty("html32") + ""` you'll get a `String`.
So, in `DTDBuilder.java` when none `dtd_home` property is set, the `dtd_home`
string value is not `n
On Thu, 22 Apr 2021 13:47:03 GMT, ScientificWare
wrote:
> This concern [dtdbuilder
> tools](https://github.com/openjdk/jdk/tree/master/make/jdk/src/classes/build/tools/dtdbuilder).
>
> In jshell, try `System.getProperty("html32") + ""` you'll get a `String
