formattare mi sembra eccessivo.
Resettare le schede di rete invece può bastare se il problema è windows.

da terminale
netsh int ip reset resetlog.txt
netsh winsock reset

oppure lo splendido winsockfix che lo fa ancora meglio.