Merge branch 'master' into rename

1 files changed, 8 insertions, 9 deletions

diff --git a/src/server/requests.odin b/src/server/requests.odin
index 3d0991f..b47c4a0 100644
--- a/src/server/requests.odin
+++ b/src/server/requests.odin
@@ -478,23 +478,22 @@ read_ols_initialize_options :: proc(
 					)
 				}
 			}
+
+			config.profile.os = strings.clone(profile.os)
+
+			break
 		}
 	}
 
+	if config.profile.os == "" {
+		config.profile.os = os_enum_to_string[ODIN_OS]
+	}
+
 	config.checker_targets = slice.clone(
 		ols_config.checker_targets,
 		context.allocator,
 	)
 
-	found_target := false
-
-	for target in config.checker_targets {
-		if ODIN_OS in os_enum_to_string {
-			found_target = true
-		}
-	}
-
-
 	config.enable_inlay_hints =
 		ols_config.enable_inlay_hints.(bool) or_else config.enable_inlay_hints
 	config.enable_fake_method =