Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-09-20 20:00:13 +01:00
Code Issues Projects Releases Packages Wiki Activity

OHOS: Fix empty log filter issue on OHOS (#39362)

Browse source 
Due to empty log filter, no logs are logged.

Testing: Tested locally
Fixes: None

Signed-off-by: Shubham Gupta <shubham13297@gmail.com>
This commit is contained in:
Shubham Gupta 2025-09-19 10:36:44 +08:00 • committed by GitHub
parent 83362571b4
commit fd402782aa
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

8
ports/servoshell/prefs.rs
View file

@ -669,11 +669,9 @@ pub(crate) fn parse_command_line_arguments(args: Vec<String>) -> ArgumentParsing
userscripts_directory: cmd_args.userscripts, userscripts_directory: cmd_args.userscripts,
experimental_prefs_enabled: cmd_args.enable_experimental_web_platform_features, experimental_prefs_enabled: cmd_args.enable_experimental_web_platform_features,
#[cfg(target_env = "ohos")] #[cfg(target_env = "ohos")]
log_filter: Some( log_filter: cmd_args.log_filter.or_else(|| {
cmd_args (!preferences.log_filter.is_empty()).then(|| preferences.log_filter.clone())
.log_filter }),
.unwrap_or(preferences.log_filter.clone()),
),
#[cfg(target_env = "ohos")] #[cfg(target_env = "ohos")]
log_to_file: cmd_args.log_to_file, log_to_file: cmd_args.log_to_file,
..Default::default() ..Default::default()