From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,84278745d02bb495 X-Google-Attributes: gid103376,public From: "David C. Hoos, Sr." Subject: Re: Dynamic Dispatch Example Date: 1999/06/03 Message-ID: <7j68qv$ib7@hobbes.crc.com>#1/1 X-Deja-AN: 485316639 References: <375988c5.24607669@news.geccs.gecm.com> Organization: Coleman Research Corporation X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3612.1700 Newsgroups: comp.lang.ada Date: 1999-06-03T00:00:00+00:00 List-Id: Brian Orpin wrote in message <375988c5.24607669@news.geccs.gecm.com>... >As an aside if you ever have a problem with this in Windows then rename >the file from xxxx_tar.gz (the name given on download) to xxxxx.tar.gz >after download and Winzip will open the file fine. The reason I hard link to both file extensions is because when your browser is set up to automatically invoke WinZip (i.e., before you get a chance to rename) WinZip gets confused. Then one has to go chasing for the cached file and rename it. Otherwise you have to give up the convenience of having the browser automatically invoke WinZip. My modus operandi just makes life easier for the downloader, at minimal disk space cost to the website, or FTP site.