You really should release an update that does not force people to edit the server.xml or to use repair.
Downloading ps by bittorrent is fast, but repair is damn slow.
Also, switch off the old server instead of letting it give a standing image. Because when I got that, my computer crashed, and I only later learned that it was mostly due to dust and faulty ram. I'll touch ps with a polestick now.