We had an IP address change this morning. The machines that aren't working probably cached the old IP address and won't work until the cache expires or you flush the cache. Re-booting the machine generally flushes the cache. There are easier ways to do so, but they vary with different versions of the OS.