[m-dev.] for review: generate index files on web site

Peter Ross petdr at cs.mu.OZ.AU
Mon Jun 26 17:46:34 AEST 2000


On Mon, Jun 26, 2000 at 05:03:20PM +1000, David Glen JEFFERY wrote:
> On 26-Jun-2000, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> > On 26-Jun-2000, David Glen JEFFERY <dgj at hydra.cs.mu.oz.au> wrote:
> > > Hi,
> > > 
> > > For Tyson to review:
> > 
> > This is cool.  The only comment is that perhaps it should be invoked
> > after the files are copied over by the nightly test, rather than the
> > install_www script (which may be invoked separately).  This might avoid
> > the possibility of the file getting out of date.
> 
> Hmmmm. Good point... I guess it should be invoked at the end of test_mercury
> (ie. after it has created the beta releases for that architecture). There
> is one small (and probably ignorable problem) --- if the tests complete at
> just the right time on more than one machine, things could get scrambled.
> Of course, that would ``never'' happen.
> 
Yes, it definately needs to be done at the end of runtests.

Pete
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list