refreshdb 1.5 Available
By Ian Jones, Monday, September 08, 2003.
Oops, I've found a little bug whereby one more process was run than requested. Not a big bug, but annoying, so I've fixed it.
Also, I seem to have let the -a option creep back in for the split of the unload file, now banished!
You can get version 1.5 of refreshdb from this page.