On Mon, 5 Apr 2021 20:57:34 GMT, Chris Plummer <cjplum...@openjdk.org> wrote:
> On the other hand, maybe you could go with just the id@debugserver:1234 > example and leave the other 3 off. The syntax does clearly show the id and > port are optional. Agree, I left `id@debugserver:1234` only in new commit. ------------- PR: https://git.openjdk.java.net/jdk/pull/3233
