dimenticavo: bisogna anche deselezionare l'opzione "rilascia dead server dopo (tot) tentativi" sò che a volte funziona anche senza questi accorgimenti, ma anche a me ha funzionato per più di un mese senza problemi, poi... crash su crash.