alessandro-bugatti
commented
4 years ago @AndreaBegni ho guardato la tua modifica, vedrai dei commenti, dovresti, dopo aver dato un'occhiata a quello che ho scritto prima, chiudere questa pull request, perchè dopo conviene che aggiorni il tuo branch perchè quasi sicuramente ti da dei conflitti che devono essere risolti a mano, perchè lavorano sulle stesse parti del codice. Oppure fallo direttamente quando fai il merge qua dentro, perchè probabilmente ti dirà che non può essere fatto automaticamente, ma devono essere risolti i conflitti.
Mi sono accorto di un errore che probabilmente ho introdotto io per distrazione, ma credo che poi sia stato replicato anche da @AndreaBegni . Quando si utilizza la funzione header, non è che questa faccia terminare l'esecuzione dello script, semplicemente invia l'header http al client, ma se non ci sono istruzioni che lo fermano lo script prosegue con la propria esecuzione, il che nel codice che ho scritto io non era la cosa giusta da fare. Quindi adesso metto a posto, ricordo poi che, sebbene la modifica non dovrebbe interessare le vostre parti, è buona norma prima di farmi una pull request, che la introduciate nei vostri repository.