stop: if not required, treat stop as full manual stop.
-rw-r--r-- 548 .gitignore
-rw-r--r-- 6074 BUILD.txt
-rw-r--r-- 125 CONTRIBUTORS
-rw-r--r-- 11358 LICENSE
-rw-r--r-- 497 Makefile
-rw-r--r-- 4257 NEWS
-rw-r--r-- 16262 README.md
-rw-r--r-- 5012 TODO
drwxr-xr-x - configs
drwxr-xr-x - doc
drwxr-xr-x - src