shell have \a character, and ctrl+c works on web.py