Refactored termination code to be sure to avoid deadlocks.
tree7b268f4925cd74d0081d9066f630ba53016467f1
-rw-r--r-- 151 .gitignore
-rw-r--r-- 15122 COPYING
-rw-r--r-- 355 TODO
drwxr-xr-x - activity_diagram
drwxr-xr-x - ai_diagram
drwxr-xr-x - class_diagram
drwxr-xr-x - core_test_diagram
drwxr-xr-x - doc
-rw-r--r-- 10307 doxygen-conf
drwxr-xr-x - gui_diagram
drwxr-xr-x - network_diagram
drwxr-xr-x - network_test_diagram
-rw-r--r-- 859 newfile.skel
drwxr-xr-x - releases
drwxr-xr-x - src
drwxr-xr-x - tests
drwxr-xr-x - tmp
drwxr-xr-x - use_case