http://www.htdp.org/ is down

[Grant Rettke]

http://www.htdp.org/ is going to be down for some amount of time.

The servers at Brown which host it are having "issues".

[Kartik]

Darn! Just when I was all raring to go :(.

Kartik

[Geoffrey S. Knauth]

When it comes back, wget and/or curl are your friends. (You can make
a local copy.)

Geoff

[Grant Rettke]

On Dec 7, 5:06 am, "Geoffrey S. Knauth" <ge...@knauth.org> wrote:
> When it comes back, wget and/or curl are your friends.  (You can make  
> a local copy.)

I was just telling Kartik that I've had "Download HtDP" on my to-do
list for days; and when I finally got around to doing it, HtDP.org was
down! :)

[Geoffrey Lane]

I did this a few weeks back when I was planning to travel. So, I've
got all of it locally. So, if anyone needs it, just let me know.

--
Geoff Lane <geof...@gmail.com>

[Grant Rettke]

On Dec 7, 10:19 am, Geoffrey Lane <geoffl...@gmail.com> wrote:
> I did this a few weeks back when I was planning to travel. So, I've  
> got all of it locally. So, if anyone needs it, just let me know.

Yes please. I will send Kartik a copy, too.

[Grant Rettke]

It is back up now.