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

[Tyson Dowd]

On 26-Jun-2000, David Glen JEFFERY <dgj at cs.mu.OZ.AU> wrote:
> We'll try again. Note that the solution implemented here will potentially
> cause problems if the different machines invoke generate_index_html at
> the same time. Is this worth worrying about?

The standard (and simple) way to minimize the problems is to write
to a temp file and then mv it to the real file.

There should be boilerplate shell script to do this kind of thing in
some of the other scripts. 

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't everyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------