flushing dns

Had a weird client problem trying to connect to our servers this morning. She switched her machine on and was unable to lookup the address’s of our unix servers, pings came back with host unknown.
Doing a ipconfig /flushdns and a ipconfig /registerdns and it all worked again – I can tell its going to be one of those days again.