[Prev][Next][Index][Thread]

# [APROG] local

- Date: Sat, 2 Dec 1995 09:22:46 PST
- From:
- CC: rgodard@divsun.unige.ch, moo-cows@parc.xerox.com
- In-reply-to: Michael Brundage's message of Fri, 1 Dec 1995 19:08:04 PST <9512020308.AA03839@saul2.u.washington.edu>
- Posted-Date: Sat, 2 Dec 1995 09:22:46 -0800 (PST)

       But then, I also wish that the server called $server_options:option_name()
       instead of accessing $server_options.option_name directly, since then one
       could (for example) checkpoint infrequently during the day and more
       frequently at night, simply by having $server_options:dump_interval()
       calculate the time of day and return the value you want.

    Actually, with careful use for fork you can control this.  The server
    looks at .dump_interval right before checkopinting, and sets the dump
    interval to that value for the *next* checkpoint.  So, if you want
    checkpoints at:

    8am 8pm 12am 4am

    at 7:59am set dump_interval to 12 hrs
    at 7:59pm set dump_interval to 4 hrs

    This trick is used in the lambdamoo #0:server_started to schedule the
    checkpoint for 3am.

          Judy Anderson yclept yduJ          'yduJ' rhymes with 'fudge'
     yduJ@cs.stanford.edu (personal mail)   yduJ@harlequin.com (work-related)
    	Join the League for Programming Freedom, lpf@uunet.uu.net

References:

- Re: [APROG] local

- From: Michael Brundage <anomaly@u.washington.edu>

- Prev: Re: [APROG] local
- Next: [APROG] local (long)
- Index: MOO-cows
- Thread: MOO-cows

Home | Subject Index | Thread Index