Harald Henkel wrote:
> At the moment I'm doing this using a JavaScript timer on the client
> requesting a new page for that frame every couple of seconds,
> but for this application push would really be better.

This is more simple than javascript I think.

<META HTTP-EQUIV="Refresh" Content="1;URL=/GuiDeBook/">

Edoardo

---------------------------------------------------------------------
To unsubscribe, e-mail: tomcat-user-unsubscribe@(protected)
For additional commands, e-mail: tomcat-user-help@(protected)