Changed done() from returning void to returning int so that main()s who call
[mmh] / man /
1999-05-13 Dan Harklessman page updates from Jerry Peek <jpeek@jpeek.com>
1999-04-30 Doug MorrisInitial revision