on segfault, do not call finish
treeb63022da0a391c040c3b5f3ea200af5c8003e322
-rw-r--r-- 13 .gitignore
-rw-r--r-- 3122 README.md
-rw-r--r-- 975 editor_style.py
-rw-r--r-- 29218 gdb.py
-rw-r--r-- 1163 proc.py
-rw-r--r-- 4951 py_console.py
-rw-r--r-- 456 tokenizer.py