Quoting Hetz Ben Hamo, from the post of Sat, 07 Jun: > > 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 ;)
fiii... a shower is always a good idea... -- Your power animal Ira Abramov http://ira.abramov.org/email/ ================================================================= 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]
