markathomas / serverpush Goto Github PK
View Code? Open in Web Editor NEWServerPush add-on for Vaadin
Home Page: https://vaadin.com/directory#addon/serverpush
ServerPush add-on for Vaadin
Home Page: https://vaadin.com/directory#addon/serverpush
The request object accessed in the inner class access of ServerPushApplicationServlet returns null for the context path when accessed in separate Thread.
Hi,
I know you are not activly working on ServerPush anymore. However it works best for us out of all push plugins.
One issue when we close the Application to have the user relogin. While the browser reloads, the comet call runs on server 500 and display the ugly red box.
The reason for that is that the pushing/broadcasting code has troubles with that.
I propose this as safeguard code:
public void broadcastForApplication(Application application, String json) {
if (application == null || !application.isRunning()) return;
final String sessionID = ((WebApplicationContext)application.getContext()).getHttpSession().getId();
final Broadcaster bc = this.getBroadcaster(sessionID);
if (bc != null)
bc.broadcast(json);
}
In our case the app is already stopped and getContext would return null
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.