Svadev mailing list

[Nathan M <feydaykyn AT yahoo.fr>]

Hi,

I may be able to host you on my server in the meantime if you want, provided you don't have a google-sized traffic :-)

Nathan

--
/*
** "What do you despise? By this you are truly known."
**	from Manual of Muad'Dib by the Princess Irulan.
*/

On Sat, Apr 14, 2012 at 19:00, <svadev-request AT cs.uiuc.edu> wrote:

Send svadev mailing list submissions to
       svadev AT cs.uiuc.edu

To subscribe or unsubscribe via the World Wide Web, visit
       http://lists.cs.uiuc.edu/mailman/listinfo/svadev
or, via email, send a message with subject or body 'help' to
       svadev-request AT cs.uiuc.edu

You can reach the person managing the list at
       svadev-owner AT cs.uiuc.edu

When replying, please edit your Subject line so it is more specific
than "Re: Contents of svadev digest..."


Today's Topics:

  1. SAFECode/SVA Web Site Down (John Criswell)


----------------------------------------------------------------------

Message: 1
Date: Fri, 13 Apr 2012 13:47:28 -0500
From: John Criswell <criswell AT illinois.edu>
Subject: [svadev] SAFECode/SVA Web Site Down
To: "svadev AT cs.uiuc.edu" <svadev AT cs.uiuc.edu>
Message-ID: <4F8874C0.10109 AT illinois.edu>
Content-Type: text/plain; charset="ISO-8859-1"; format=flowed

Dear All,

The machine that hosts the SAFECode/SVA web site suffered a hardware
failure this morning.  Due to its age, it will not be repaired (for
trivia buffs, it's the same machine that first hosted llvm.org years ago).

The SAFECode/SVA web page will be unavailable throughout the weekend.  I
am hoping it will be up early next week, although I don't have an
estimated repair time from our IT people yet (they are fixing other
problems caused by the machine's demise).

The good news is that the SAFECode SVN server and mailing lists are on
other machines and are still available, so people can still download and
discuss SAFECode and SoftBound.

My apologies for the inconvenience.  Hopefully we'll be back up soon.

-- John T.



------------------------------

_______________________________________________
svadev mailing list
svadev AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/svadev


End of svadev Digest, Vol 24, Issue 14
**************************************