- From: Augusto Sellhorn <asellhor@ccd.harris.com>
- Date: Tue, 27 Oct 1998 08:21:39 -0500 (EST)
- To: Benoit Mahe <Benoit.Mahe@sophia.inria.fr>
- Cc: selma@nib.unicamp.br, www-jigsaw@w3.org
Benoit Mahe wrote: > > One way to do that is Javascript, I don't know exactly how you > can do that with Javascript, but I know you can. Check the Javascript > documentation [1] > > [1] http://www.netscape.com/eng/mozilla/3.0/handbook/javascript/index.html Or with an applet. Plus some more code will let you know of termination by abnormal circumstances (like a the machine was turned off or the browser crashed), if you have some kind of periodic "ping" to the server (or the server to the client). -- Augusto Sellhorn GE Harris Energy Control Systems asellhor@ccd.harris.com
Received on Tuesday, 27 October 1998 08:23:33 UTC