diff options
| author | Dan Gudmundsson <[email protected]> | 2019-08-09 15:25:04 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-08-09 15:25:04 +0200 |
| commit | 0b7e07068720b93b4fa5672bdaced5cddc0f781b (patch) | |
| tree | 323b3f598f8e7c02f54b113a7495dfc56b35f695 | |
| parent | f4c00eb745207d33dbcc330433e074329aab61c7 (diff) | |
| parent | 96c328a5de1c82e1931055ab8f5c34080368a6af (diff) | |
| download | otp-0b7e07068720b93b4fa5672bdaced5cddc0f781b.tar.gz otp-0b7e07068720b93b4fa5672bdaced5cddc0f781b.tar.bz2 otp-0b7e07068720b93b4fa5672bdaced5cddc0f781b.zip | |
Merge pull request #2332 from the-mikedavis/patch-1
Correct documentation on dump_log_write_threshold default value
| -rw-r--r-- | lib/mnesia/doc/src/Mnesia_chap7.xmlsrc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/mnesia/doc/src/Mnesia_chap7.xmlsrc b/lib/mnesia/doc/src/Mnesia_chap7.xmlsrc index ffbbdadec0..968e89a745 100644 --- a/lib/mnesia/doc/src/Mnesia_chap7.xmlsrc +++ b/lib/mnesia/doc/src/Mnesia_chap7.xmlsrc @@ -295,7 +295,7 @@ ok</pre> if the log is large. Notice that the <c>Mnesia</c> system continues to operate during log dumps.</p> <p>By default <c>Mnesia</c> either dumps the log whenever - 100 records have + 1000 records have been written in the log or when three minutes have passed. This is controlled by the two application parameters <c>-mnesia dump_log_write_threshold WriteOperations</c> and |