nothing much

This commit is contained in:
Robert Morris 2017-08-09 14:16:55 -04:00
parent 4f14d8d1e5
commit 6389d9d410
3 changed files with 5 additions and 3 deletions

4
log.c
View file

@ -155,7 +155,9 @@ end_op(void)
do_commit = 1;
log.committing = 1;
} else {
// begin_op() may be waiting for log space.
// begin_op() may be waiting for log space,
// and decrementing log.outstanding has decreased
// the amount of reserved space.
wakeup(&log);
}
release(&log.lock);