Mikhail Shabarov

Just for reference, Servlet 4.0 API has push feature that can tell to pull the resource https://javaee.github.io/javaee-spec/javadocs/javax/servlet/http/PushBuilder.html .

`I18NProvider` should be taken into account for sure. "lang" attribute is set by `BootstrapHandler` via `html.attr("lang", context.getUI().getLocale().getLanguage());` `UI` instances get the locale from Vaadin service in `VaadinService::setLocale` from `I18NProvider`.

@knoobie we're currently considering using dedicated `/VAADIN/push` mapping path for Push, instead of falling back to `/vaadinServlet`, because `/vaadinServlet` has another purpose and semantically isn't related to Push anyhow -...

> The difference is that now there seems to be a ?continue query parameter on the URL Indeed, I missed that, thanks!

Here is a board where one can track the news about releases https://felix.apache.org/documentation/news.html.

Quarkus has a Jakarta EE 9 migration tools and nightly snapshots, see https://github.com/quarkusio/quarkus/tree/main/jakarta . Vaadin Quarkus add-on has a feature branch with migrated sources, see https://github.com/vaadin/quarkus/tree/feature/jakarta-servlet5 . Quarkus snapshot `999-jakarta-SNAPSHOT`...

I stepped further and migrated `platform` repo to the `jakarta.servet` and build it locally to get `vaadin-core-jandex` artifact, since it is used by `vaadin-quarkus-extension`. When I start the base starter,...

Last problem with the absent method was resolved: `BeanManager` has no `fireEvent` method anymore in CDI API 4.0, but instead `BeanManager.getEvent(event).fire()` should be used. Starter project now works as expected...

This issue is reopened, because since 08.09.2022: - I got the following error for all the IT tests in Quarkus add-on: ``` 2022-09-09 09:36:54,617 ERROR [io.und.request] (executor-thread-0) UT005071: Undertow request...

One remaining point is to set up a release job for Java 17 and make Vaadin Quarkus add-on 2.0.0.alpha1