trouble with cvs?

[Ben Abbott]

I just tried to update from the cvs, and got this error.

	cvs update
	ssh: Error resolving hostname www.octave.org: nodename nor servname  
provided, or not known
	cvs [update aborted]: end of file from server (consult above messages  
if any)

Is anyone else having problems?

I'm presently in Singapore, and occasionally have troubles with http  
requests ... they come and go. So perhaps everything is fine, and I'll  
be able to cvs again shortly... but I thought I'd check.

Ben