RFR: 8263636: Add --disable-registry option to jhsdb debugd [v5]

Thu Apr 22 00:08:26 UTC 2021

On Wed, 7 Apr 2021 00:12:11 GMT, Yasumasa Suenaga <ysuenaga at openjdk.org> wrote:

>> `jhsdb debugd` will start RMI registry by default, but we want to prevent it due to port confliction in some cases. We can control it with `sun.jvm.hotspot.rmi.startRegistry` system property. However we have no way to set it excepting system property. jhsdb should provide the way to set it as a command line option.
>> 
>> This PR introduces `--disableregistry` to `jhsdb debugd`. Please review [CSR](https://bugs.openjdk.java.net/browse/JDK-8264021) too.
>
> Yasumasa Suenaga has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Rename --disableregistry to --disable-registry

Gentle ping: Could I please have review? CSR has been approved.

-------------

PR: https://git.openjdk.java.net/jdk/pull/3233