Re: Where has mlton.org gone?

Matthew Fluet <[email protected]> Tue, 17 Apr 2012 13:04:51 -0400
Newsgroups gmane.comp.lang.ml.mlton.devel
Message-ID <CAMrhFL7Rmc4TJ=PxLvGsPAq2k8TXC6+pBzSMLj978W4hKi7qMA@mail.gmail.com>
On Tue, Apr 17, 2012 at 2:53 AM, Ian Zimmerman <[email protected]> wrote:
> For a number of days I have been getting a Connection Reset on every attempt to
> load the mlton.org homepage.

The mlton.org VPS seems to have given up the ghost.  The static
content can be easily moved to mlton.sourceforge.net (and, with the
appropriate virtual host setup, be served as www.mlton.org).  The wiki
content is available from backups, but just in raw wiki syntax.  It
may take a little longer to convert that to HTML.

------------------------------------------------------------------------------
Better than sec? Nothing is better than sec when it comes to
monitoring Big Data applications. Try Boundary one-second 
resolution app monitoring today. Free.
http://p.sf.net/sfu/Boundary-dev2dev