The following code implements a very basic HTTP server with server-side push. The server sits at port 5012. When a client requests a file, the server sends the file and begins to monitor the modification timestamp on the file. If the file changes, the server pushes a fresh copy to the client.Enjoy!
To use the push server, you must run Firefox or Netscape and connect to http://<machinename>:5012/<filename>. For my example, I used filename = test.html. Then, I ran a simple script that changed test.html. You can access test.html and the script (swap.sh).