Ah well, depends on your definition of "the php.net network"... ;) I would happily assume that this would be both www.php.net and lists.php.net. If it is safe to assume that by php.net, you included www.php.net as a subset of php.net, it is also safe to assume that lists.php.net is a subset of php.net. Since we know that lists.php.net works, we can say that php.net is not broken. However we can say that www.php.net IS broken. :D
However, it is never safe to assume, since when we do so, we make an "ass" out of "u" and "me" ;) Cheers Ross > -----Original Message----- > From: Svensson, B.A.T. (HKG) [mailto:[EMAIL PROTECTED]] > Sent: 21 August 2002 17:45 > To: Ross Fleming; Php Win32 list > Subject: RE: [PHP-WIN] php.net down? > > > Logic does not dictate anything here, since a natural language > can't be mapped in a 1-1 fashion onto a formal language. > > > -----Original Message----- > > From: Ross Fleming [mailto:[EMAIL PROTECTED]] > > Sent: Wednesday, August 21, 2002 6:39 PM > > To: Svensson, B.A.T. (HKG); Php Win32 list > > Subject: RE: [PHP-WIN] php.net down? > > > > > > Logic dictates that the entire network isn't down, since this mail is > > getting through ;) however the website does appear to be down. > > > > Ross > > > > > -----Original Message----- > > > From: Svensson, B.A.T. (HKG) [mailto:[EMAIL PROTECTED]] > > > Sent: 21 August 2002 17:37 > > > To: Php Win32 list > > > Subject: [PHP-WIN] php.net down? > > > > > > > > > Is it my network or the php.net network? > > > > > > [c:\sysapps\4nt302]ping www.php.net > > > > > > Pinging php.net [64.246.30.37] with 32 bytes of data: > > > > > > Request timed out. > > > Request timed out. > > > Request timed out. > > > Request timed out. > > > > > > [c:\sysapps\4nt302] > > > > > > ??? > > > > > > -- > > > PHP Windows Mailing List (http://www.php.net/) > > > To unsubscribe, visit: http://www.php.net/unsub.php > > > > > > > > > > > > > > > -- > > PHP Windows Mailing List (http://www.php.net/) > > To unsubscribe, visit: http://www.php.net/unsub.php > > > > -- > PHP Windows Mailing List (http://www.php.net/) > To unsubscribe, visit: http://www.php.net/unsub.php > > > -- PHP Windows Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
