Changeset: b27c935805da for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB/rev/b27c935805da
Modified Files:
documentation/source/manual_pages/mserver5.rst.in
tools/mserver/mserver5.1.in
Branch: Aug2024
Log Message:
Fix man page layout.
diffs (38 lines):
diff --git a/documentation/source/manual_pages/mserver5.rst.in
b/documentation/source/manual_pages/mserver5.rst.in
--- a/documentation/source/manual_pages/mserver5.rst.in
+++ b/documentation/source/manual_pages/mserver5.rst.in
@@ -167,13 +167,16 @@ MSERVER5 OPTIONS
**268435456**
(HEAPMASK) trace/debug HEAPextend; used only for development &
- debugging **536870912** (FORCEMITOMASK) forcefully activate
- mitosis even on small tables, i.e., split small tables in as many
- (tiny) pieces as there are cores (threads) available; this allows
- us to test mitosis functionality without requiring large data sets
- (— at the expense of a potentially significant interpretation
- overhead for unnecessarily large plans); used only for development
- & testing; set automatically by Mtest.py
+ debugging
+
+ **536870912**
+ (FORCEMITOMASK) forcefully activate mitosis even on small tables,
+ i.e., split small tables in as many (tiny) pieces as there are
+ cores (threads) available; this allows us to test mitosis
+ functionality without requiring large data sets (— at the expense
+ of a potentially significant interpretation overhead for
+ unnecessarily large plans); used only for development & testing;
+ set automatically by Mtest.py
**--algorithms**
Equivalent to **--debug=**\ *(ALGOMASK)*.
diff --git a/tools/mserver/mserver5.1.in b/tools/mserver/mserver5.1.in
--- a/tools/mserver/mserver5.1.in
+++ b/tools/mserver/mserver5.1.in
@@ -227,6 +227,7 @@ effects of MAL optimizers
.B 268435456
(HEAPMASK) trace/debug HEAPextend;
used only for development & debugging
+.TP
.B 536870912
(FORCEMITOMASK) forcefully activate mitosis even on
small tables, i.e., split small tables
_______________________________________________
checkin-list mailing list -- [email protected]
To unsubscribe send an email to [email protected]
