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