Hello, The name of the demexp servers (and incidentally IP addresses) has changed. They are now:
- for demonstration server: demexp://demo.demexp.org:50000 - for official server: demexp://official.demexp.org:50000 You *need* to update the configuration of your servers. Best wishes, d. -- pub 1024D/A3AD7A2A 2004-10-03 David MENTRE <[EMAIL PROTECTED]> 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A _______________________________________________ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev