# [APROG] local

Judy Anderson (yduj@cs.stanford.edu)
Sat, 2 Dec 1995 09:22:46 PST

- Messages sorted by:[ date ][ thread ][ subject ][ author ]

       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