17.4.5.2 Registrare una funzione exit callback

Una funzione exit callback è una funzione che gawk invoca prima di completare l’esecuzione del programma. Siffatte funzioni sono utili se ci sono dei compiti generali di “pulizia” che dovrebbero essere effettuati nell’estensione (come chiudere connessioni a un database o rilasciare altre risorse). Si può registrare una tale funzione con gawk per mezzo della seguente funzione:

void awk_atexit(void (*funcp)(void *data, int exit_status),

                void *arg0);

I parametri sono:

funcp

Un puntatore alla funzione da chiamare prima che gawk completi l’esecuzione. Il parametro data sarà il valore originale di arg0. Il parametro exit_status è il valore del codice di ritorno che gawk intende passare alla chiamata di sistema exit() (che termina l’esecuzione del programma).

arg0

Un puntatore a un’area dati privata che gawk mantiene perché sia poi passata alla funzione puntata da funcp.

Le funzioni exit callback sono chiamate in ordine inverso rispetto a quello con cui è stata fatta la registrazione con gawk (LIFO: Last In, First Out).