Thanks to John Griessen, gedasymbols.org now has a second server. Normally, both servers are used, but in the case of yet another outage at my house, John's server should take over. DNS should fail over to my DNS secondary, which is at my ISP.
Note that cvs commits trigger updates, so no extra actions or delays are required when you make changes to your gedasymbols area. DJ _______________________________________________ geda-user mailing list geda-user@moria.seul.org http://www.seul.org/cgi-bin/mailman/listinfo/geda-user