[imp] wrong download filename with ms ie 5 (at least)

[Michael M Slusarz]

Quoting Markus Krause <krause at biochem.mpg.de>:

| on my machine too, but users told me of the problem using ie 6. the
| problem is,
| we have about 800 users and 900 machines here ... and with ie 5 / win2k i
| could
| reproduce the error ... and about half of the users do have this
| combination.

It sounds like a problem with IE 5.0 then.  I don't have IE 5.0 so I can't
fix this problem - someone is going to have to come up with a patch.

michael

______________________________________________
Michael Slusarz [slusarz at bigworm.colorado.edu]
The University of Colorado at Boulder