Basic handling of SIGINT
behave more like php