Restartováním problémy s DNS serverem opravdu neodstaníš. Změň si DNS třeba na 8.8.8.8. Nebo tak, jak píše kmochna.