The SVN server is back up. I just checked in a backlog of minor bug fixes from the past couple of days. I'll probably be packaging 1.2.5 here in the next day or two. Robby