Hey all, Seeing that Matthieu had converted the missing command over to using tla--run-tla-async (thanks!) I couldn't resist modifying it a little further to make it fully asynchronous.
For the adventurous, there's a patch in my archive that does this. Now the "tla missing" commands get run in parallel, and it displays the information as it is received. This seems quite a bit faster to me, as slow connections to particular archives don't bottleneck the whole process. Please let me know if I've broken anything ;o) Mark -- Mark Triggs <[EMAIL PROTECTED]>
