Replying to myself: this was my mistake. The computer has two Ethernet
cards and I tried to connect to the router using the card that was not
connected to anything... ;-)
After I switched the configuration to the right one, everything worked
perfectly.
Sorry if I bothered you, or caused you to think harder than usual.
Regards,
Shlomi Fish
----------------------------------------------------------------------
Shlomi Fish [EMAIL PROTECTED]
Home Page: http://t2.technion.ac.il/~shlomif/
Home E-mail: [EMAIL PROTECTED]
"Let's suppose you have a table with 2^n cups..."
"Wait a second - is n a natural number?"
=================================================================
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]