Fix crash when ctrl+c twice
Merge pull request #1848 from nviennot/interrupt_null

Fix crash when ctrl+c twice