urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-25 04:52:06 +03:00
Code Issues Packages Projects Releases Wiki Activity

Change checkpointing from 15 to 120 seconds.

Browse Source
This commit is contained in:
C. Guy Yarvin 2016-07-01 10:10:41 -07:00
parent 8c11355987
commit 3947088354
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
vere/save.c
View File

@ -71,7 +71,7 @@ u3_save_io_init(void)
sav_u->pid_w = 0;
uv_timer_init(u3L, &sav_u->tim_u);
uv_timer_start(&sav_u->tim_u, _save_time_cb, 15000, 15000);
uv_timer_start(&sav_u->tim_u, _save_time_cb, 120000, 120000);
}
/* u3_save_io_exit(): terminate save I/O.