[plt-scheme] Re: bug installing PLAI language in 4.1.5?

I just tried to install the PLAI package on PLaneT from the following
URL:

http://planet.plt-scheme.org/display.ss?package=plai.plt&owner=plai

using the following command:

(require (planet plai/plai:1:1))

However, I encountered the following error message:

require: PLaneT could not download the requested package: tcp-connect:
connection to planet.plt-scheme.org, port 80 failed (at step 4:
?\?P?b?g??O??????????????????s?????????????B; errno=10038) in: (planet
plai/plai:1:1)

When I unblocked access to port 80 for TCP/IP packages in Control
Panel, restarted DrScheme (it repeated the same error message until I
did this), and tried to run the command again, this time I ran into
the following error message:

require: PLaneT could not download the requested package: tcp-write:
error writing (Unknown error; errno=10038) in: (planet plai/plai:1:1)

Do you have a download site where I can manually download the file and
then install it from the local hard disk?

-- Benjamin L. Russell

On Tue, 24 Mar 2009 10:30:53 -0600, Jay McCarthy
<jay.mccarthy at gmail.com> wrote:

>The PLAI package listed on
>
>http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/2007-04-26/
>
>is only tested with 4.1.3 (although I think it may work with 4.1.4)
>
>If you want to use 4.1.5, I've just recently put the PLAI package on PLaneT:
>
>http://planet.plt-scheme.org/display.ss?package=plai.plt&owner=plai
>
>Jay
>
>On Tue, Mar 24, 2009 at 10:03 AM, Eric Tanter <etanter at dcc.uchile.cl> wrote:
>> Hi,
>>
>> I've just downloaded the latest version of DrScheme and tried to install the
>> PLAI package (Shriram's book).
>>
>> I get an error:
>> /snip/
>> setup-plt: --- creating launchers ---
>> setup-plt: --- installing collections ---
>> setup-plt: --- post-installing collections ---
>> setup-plt: done
>> setup-plt:
>> setup-plt: error: during making for <user>/plai (PLAI)
>> setup-plt: ? web/server.ss:81:8: module: identifier is already imported at:
>> url->path in: (define-values (url->path) (fsmap:make-url->path (build-path
>> server-root-path "htdocs")))
>> setup-plt: error: during making for <user>/plai/web
>> setup-plt: ? server.ss:81:8: module: identifier is already imported at:
>> url->path in: (define-values (url->path) (fsmap:make-url->path (build-path
>> server-root-path "htdocs")))
>>
>> any idea?
>>
>> -- Eric
>>
>>
>> _________________________________________________
>> ?For list-related administrative tasks:
>> ?http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>>
-- 
Benjamin L. Russell  /   DekuDekuplex at Yahoo dot com
http://dekudekuplex.wordpress.com/
Translator/Interpreter / Mobile:  +011 81 80-3603-6725
"Furuike ya, kawazu tobikomu mizu no oto." 
-- Matsuo Basho^