commit | 40b2e839246aa74f08eea1c2abb60e5ca93ecab0 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Mon Jul 21 22:11:07 2003 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Jul 21 22:11:07 2003 +0000 |
tree | 17c5bc2782c5117588de20dae0db05cf7cae1218 | |
parent | a7203d10375c9efa69b8a39f8a4c9f71c20f1e9e [diff] |
We erronuously re-used the pimpinstaller object if there were multiple installs. This lead to a duplication of error messages (and installs). Fixes #764615.