Comment by stefanom

I bit the bullet, and wrote a bit of extra javascript to restart the game server-side.

By the by, if you like what I've done, I will soon be available to freelance. A few other projects of mine are here:

http://www.stefanom.org/devel/