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