hbal: change handling of signal
-rw-r--r-- 21 .gitattributes
-rw-r--r-- 180 .gitignore
-rw-r--r-- 31 AUTHORS
-rw-r--r-- 17987 COPYING
drwxr-xr-x - Ganeti
-rw-r--r-- 3006 Makefile
-rw-r--r-- 16500 NEWS
-rw-r--r-- 4203 README
drwxr-xr-x - doc
-rw-r--r-- 360 haddock-prologue
-rw-r--r-- 2694 hail.1
-rw-r--r-- 3752 hail.hs
-rw-r--r-- 26983 hbal.1
-rw-r--r-- 13755 hbal.hs
-rw-r--r-- 3326 hscan.1
-rw-r--r-- 4824 hscan.hs
-rw-r--r-- 195 hscolour.css
-rw-r--r-- 14349 hspace.1
-rw-r--r-- 13180 hspace.hs
-rwxr-xr-x 4620 live-test.sh
-rw-r--r-- 2634 test.hs