When checking to see whether all threads have finished don't count the signal handling thread.  This ensures that the process terminates if user threads have finished.
When checking to see whether all threads have finished don't count the signal handling thread.  This ensures that the process terminates if user threads have finished.


git-svn-id: 98787b36aaefbae4b30fa755be920954cd25e1e4@450 ae7d391e-3f74-4a2b-a0db-a8776840fd2a

polyml/polyml,mn200/polyml,dcjm/polyml,polyml/polyml,polyml/polyml,dcjm/polyml,dcjm/polyml,dcjm/polyml,mn200/polyml,mn200/polyml,mn200/polyml,polyml/polyml