Se agrega un manejador de señales para Ctrl-C