> The problem is that ping does not work on URLs. It only works on > hostnames. You should use wget for URLs or ping the hostname.
Yeah, big "fadiha". Next time - a shower before starting to use the computers ;) Thanks again, Hetz ================================================================= To unsubscribe, send mail to [EMAIL PROTECTED] with the word "unsubscribe" in the message body, e.g., run the command echo unsubscribe | mail [EMAIL PROTECTED]
