{"ref":"refs/heads/master","push_id":55241679,"commits":[{"sha":"e490fa1d3770411a45e11e243380166803a143eb","author":{"email":"d595b0cb020d8d8634fc74c12e8a61b33dd25dca@gelma.net","name":"Andrea Gelmini"},"url":"https://api.github.com/repos/Gelma/LugMap/commits/e490fa1d3770411a45e11e243380166803a143eb","message":"script: spazzino: corretto errore e riordinato righe"},{"sha":"51ad20648cbfe40755d1d9cfa1030b2663a89823","author":{"email":"d595b0cb020d8d8634fc74c12e8a61b33dd25dca@gelma.net","name":"Andrea Gelmini"},"url":"https://api.github.com/repos/Gelma/LugMap/commits/51ad20648cbfe40755d1d9cfa1030b2663a89823","message":"script: notifiche: stampa report in caso di fallito invio"},{"sha":"ee50587bea3c19b7faa29d00c869be423783b56c","author":{"email":"d595b0cb020d8d8634fc74c12e8a61b33dd25dca@gelma.net","name":"Andrea Gelmini"},"url":"https://api.github.com/repos/Gelma/LugMap/commits/ee50587bea3c19b7faa29d00c869be423783b56c","message":"script: spazzino: risolutore DNS rinforzato...\n\nAbbiamo diversi server DNS che rispondono con un discreto ritardo, o dei\nquali i pacchetti UDP arrivano a fatica.\nPer risolvere la cosa forziamo la query TCP.\nInoltre, ora, teniamo traccia del tipo di eventuale errore."}],"head":"ee50587bea3c19b7faa29d00c869be423783b56c","size":3}