+1. Cheers, Henry
> On Feb 7, 2017, at 1:16 PM, Mandy Chung <mandy.ch...@oracle.com> wrote: > > Henry, Kumar, > > Can you please review this patch: > http://cr.openjdk.java.net/~mchung/jdk9/webrevs/8173712/webrev.00/ > > JAVA_OPTIONS was introduced by JDK-8170832 but it turns out that > environment variable name conflicts with existing uses. It might > not be uncommon for scripts to set JAVA_OPTIONS. To mitigate the > compatibility concern, we decide to rename JAVA_OPTIONS to > JDK_JAVA_OPTIONS. With multi-word name and `JDK_` prefix, that > should reduce the chance of name clash. > > thanks > Mandy
