[APROG] local

• Date: Sat, 2 Dec 1995 09:22:46 PST
• From:
  Judy Anderson <yduj@cs.stanford.edu>
• 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

• Re: [APROG] local
• From: Michael Brundage <anomaly@u.washington.edu>

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