RFR: 7198: add websocket server that pushes data on selection updates [v3]

[Alex Ciminian]

On Wed, 15 Sep 2021 07:22:00 GMT, Brice Dutheil <github.com+803621+bric3 at openjdk.org> wrote:

>> Alex Ciminian has refreshed the contents of this pull request, and previous commits have been removed. The incremental views will show differences compared to the previous content of the PR.
>
> releng/platform-definitions/platform-definition-2021-03/platform-definition-2021-03.target line 51:
> 
>> 49:             <unit id="javax.servlet-api" version="3.1.0"/>
>> 50:             <unit id="javax.websocket-api" version="1.1.0"/>
>> 51:             <unit id="org.eclipse.jetty.websocket.server" version="9.4.43.v20210629"/>
> 
> It seems there's still references to jetty 9 in older platform definition.
> 
> I'm not familiar with eclipse based applications, but should those target be removed once the platform is upgraded to a more recent version ?

��  Cleaned up now, I was just fiddling around with this config trying to get the dependencies to resolve properly and I was just updating the active one.

> releng/platform-definitions/platform-definition-2021-06/platform-definition-2021-06.target line 55:
> 
>> 53:             <unit id="org.eclipse.jetty.websocket.javax.server" version="10.0.5"/>
>> 54:             <unit id="org.apache.aries.spifly.dynamic.bundle" version="1.3.4"/>
>> 55:             .servlet-api_4.0.6.jar
> 
> I think this shouldn't be there ;)

Oops ��  glad it didn't complain...

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

PR: https://git.openjdk.java.net/jmc/pull/306