Fix bug #6291 - force user stop working. A previous fix broke the invariant that...
treef5186fce60e5e1d28d0dec0d7fe226c2a071d2b6
-rw-r--r-- 2220 .gitignore
-rw-r--r-- 35147 COPYING
-rw-r--r-- 1126 MAINTAINERS
-rw-r--r-- 2558 Manifest
-rw-r--r-- 188 PFIF.txt
-rw-r--r-- 8600 README
-rw-r--r-- 6448 README.Coding
-rw-r--r-- 0 Read-Manifest-Now
-rw-r--r-- 1087 Roadmap
-rw-r--r-- 3365 WHATSNEW.txt
drwxr-xr-x - docs-xml
drwxr-xr-x - examples
drwxr-xr-x - packaging
drwxr-xr-x - pcp
drwxr-xr-x - release-scripts
drwxr-xr-x - source
drwxr-xr-x - swat
drwxr-xr-x - testsuite