From 855c5dd577540f5d08d2e64e32259c4edb79090f Mon Sep 17 00:00:00 2001 From: FANNG Date: Thu, 26 Oct 2023 14:42:58 +0800 Subject: [PATCH] [#610] fix(docs): fix the format of gravitino server configuration to table in markdown (#611) ### What changes were proposed in this pull request? fix the format of gravitino server configuration to table in markdown ### Why are the changes needed? table format is broken by #579 Fix: #610 ### Does this PR introduce _any_ user-facing change? no ### How was this patch tested? existing UTs --- docs/gravitino-server-config.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/gravitino-server-config.md b/docs/gravitino-server-config.md index d6dd911356..ee3a8a4c1d 100644 --- a/docs/gravitino-server-config.md +++ b/docs/gravitino-server-config.md @@ -21,6 +21,7 @@ The following table lists the configuration items in the `gravitino.conf` file. ### Server configuration | Configuration item | Description | Default value | Since version | +|------------------------------------------------------|-------------------------------------------------------------------------------------------------------------------------------------------------------|---------------|---------------| | `gravitino.server.webserver.host` | The host of Gravitino server. | `0.0.0.0` | 0.1.0 | | `gravitino.server.webserver.httpPort` | The port on which the Gravitino server listens for incoming connections. | `8090` | 0.1.0 | | `gravitino.server.webserver.minThreads` | The number of min threads in the thread pool which is used by Jetty webserver. `minThreads` will be adjusted to 8 if the value is less than 8. | `Math.max(Math.min(Runtime.getRuntime().availableProcessors() * 2, 100), 8)` | 0.2.0 |