websockets.jsp substitution