RFR: 8263635: Add --servername option to jhsdb debugd [v4]

[Yasumasa Suenaga]

On Fri, 21 May 2021 01:14:21 GMT, Chris Plummer <cjplummer at openjdk.org> wrote:

>> Yasumasa Suenaga has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Fix comments
>
> src/jdk.hotspot.agent/share/classes/sun/jvm/hotspot/RMIHelper.java line 133:
> 
>> 131:                 name = serverNamePrefix;
>> 132:             } else {
>> 133:                 throw new DebuggerException("Cannot set both sun.jvm.hotspot.rmi.serverNamePrefix and in --servername together");
> 
> Remove "in"

Thanks! I fixed it in new commit.

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

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