Changed from returning void to returning int so that main()s who call done() at
[mmh] / etc / mhl.forward
1999-04-30 Doug MorrisInitial revision