Per imparare a scrivere un modulo di estensione di python sotto windows
ho provato a scrivere un gestore dei segnali.
PyWin32 di Mark Hammond fornisce un gestore dei segnali fatto meglio (
https://sourceforge.net/projects/pywin32/ ), e anzi io mi sono guardato
i suoi sorgenti per capire come faceva lui.
Se però un qualcuno a cui basta un minamale gestore dei segnali sotto
windows e non ha voglia di installare PyWin32, potrebbe trovare
interessante questo codice.
Di seguito c'è il codice per la dll in C da compilare per avere il
gestore dei segnali, e un esempio banale in python.
L'esempio in python va lanciato, e poi con un CTRL Break il programma
si interrompe in modo "pulito", invece con un CTRL C, oppure con un
doppio CTRL Break, viene richiamato il gestore di default del segnale,
che interrompe il programma.
++++++++++++++ File di test in python
import time
import sys
import win32_signal