[Mini-NDN] An advice about stopping mini

[Matteo Bertolino]

Good morning,
I suggest to change a bit the minindn script.
In my opinion sometimes it could be confortable stopping an  
application running on mini without stopping mini.
Then, ctrl+c stops both.

I edited the minindn script letting the signal handler managing a  
SIGQUIT instead of a SIGKILL. ( signal.signal(signal.SIGQUIT,  
signal_handler)  )

Then with ctrl+c the application, like the ndnpingserver, is stopped.
With ctrl+\ minindn exit in a clean way.

matteo

-------------------------------------------------------------------------------
This message was sent using EURECOM Webmail: http://webmail.eurecom.fr