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

9 views
Skip to first unread message

Grant Rettke

unread,
Dec 6, 2008, 11:42:37 PM12/6/08
to Study-HTDP
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

unread,
Dec 7, 2008, 12:10:25 AM12/7/08
to study...@googlegroups.com
Darn! Just when I was all raring to go :(.

Kartik

Geoffrey S. Knauth

unread,
Dec 7, 2008, 6:06:44 AM12/7/08
to study...@googlegroups.com
When it comes back, wget and/or curl are your friends. (You can make
a local copy.)

Geoff

Grant Rettke

unread,
Dec 7, 2008, 10:49:15 AM12/7/08
to Study-HTDP
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

unread,
Dec 7, 2008, 11:19:00 AM12/7/08
to study...@googlegroups.com
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

unread,
Dec 7, 2008, 12:21:01 PM12/7/08
to Study-HTDP
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

unread,
Dec 7, 2008, 9:58:14 PM12/7/08
to Study-HTDP
It is back up now.
Reply all
Reply to author
Forward
0 new messages