don't try to kill a process which does not exists anymore - this avoid
-rw-r--r-- 153 .gitignore
-rw-r--r-- 155 .gitmodules
-rw-r--r-- 59664 Doxyfile.in
-rw-r--r-- 18011 LICENSE
-rw-r--r-- 549 Makefile.am
-rw-r--r-- 3929 NEWS
-rw-r--r-- 378 README
-rw-r--r-- 485 TODO
-rwxr-xr-x 3084 buildconf.sh
-rw-r--r-- 2058 configure.ac
drwxr-xr-x - debian
drwxr-xr-x - doc
drwxr-xr-x - etc
drwxr-xr-x - images
drwxr-xr-x - js
m--------- - m4
drwxr-xr-x - src
drwxr-xr-x - test
drwxr-xr-x - win
drwxr-xr-x - www
drwxr-xr-x - zeerex