chore(config): Rename runtime.type to runtime.flavor

informalsystems · Jun 11, 2024 · 738f899 · 738f899
1 parent ce3f9e9
commit 738f899
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/code/config.toml b/code/config.toml
@@ -86,11 +86,11 @@ listen_addr = "127.0.0.1:9000"
 ###          Runtime Configuration Options          ###
 #######################################################
 [runtime]
-# The type of Tokio runtime to use.
+# The flavor of Tokio runtime to use.
 # Possible values:
 # - "single_threaded": A single threaded runtime (default)
 # - "multi_threaded":  A multi-threaded runtime
-type = "single_threaded"
+flavor = "single_threaded"
 
 # For the multi-threaded runtime only.
 # Sets the number of worker threads the Runtime will use.

diff --git a/code/crates/node/src/config.rs b/code/crates/node/src/config.rs
@@ -143,7 +143,7 @@ pub struct MetricsConfig {
 }
 
 #[derive(Copy, Clone, Debug, Default, PartialEq, Eq, Serialize, Deserialize)]
-#[serde(tag = "type", rename_all = "snake_case")]
+#[serde(tag = "flavor", rename_all = "snake_case")]
 pub enum RuntimeConfig {
     /// Single-threaded runtime
     #[default]