Replace busy-wait with proper signal handling.master
tree4017d4be69d4a68f012eb2cb37df906b89262cc7
-rw-r--r-- 272 .gitignore
-rw-r--r-- 35147 COPYING
-rw-r--r-- 17 Makefile.am
-rw-r--r-- 11252 README
-rw-r--r-- 1716 config.h.in
-rw-r--r-- 661 configure.ac
-rw-r--r-- 1898 debug.gdb
drwxr-xr-x - examples
drwxr-xr-x - src
drwxr-xr-x - syntax
drwxr-xr-x - test