2018-10-26 05:09:55 +02:00
|
|
|
# The flags_health_check command run by init.
|
|
|
|
type flags_health_check, domain, coredomain;
|
|
|
|
type flags_health_check_exec, system_file_type, exec_type, file_type;
|
|
|
|
|
|
|
|
set_prop(flags_health_check, device_config_boot_count_prop)
|
2018-11-09 01:46:19 +01:00
|
|
|
set_prop(flags_health_check, device_config_reset_performed_prop)
|
2019-02-01 22:43:11 +01:00
|
|
|
set_prop(flags_health_check, device_config_runtime_native_boot_prop)
|
2019-01-29 18:57:11 +01:00
|
|
|
set_prop(flags_health_check, device_config_runtime_native_prop)
|
2019-01-14 23:18:38 +01:00
|
|
|
set_prop(flags_health_check, device_config_input_native_boot_prop)
|
2018-12-27 11:01:25 +01:00
|
|
|
set_prop(flags_health_check, device_config_netd_native_prop)
|
2019-01-17 22:30:05 +01:00
|
|
|
set_prop(flags_health_check, device_config_activity_manager_native_boot_prop)
|
2019-01-31 00:28:31 +01:00
|
|
|
set_prop(flags_health_check, device_config_media_native_prop)
|
2018-11-16 01:27:18 +01:00
|
|
|
|
2018-11-20 20:17:35 +01:00
|
|
|
allow flags_health_check server_configurable_flags_data_file:dir rw_dir_perms;
|
2018-11-09 01:46:19 +01:00
|
|
|
allow flags_health_check server_configurable_flags_data_file:file create_file_perms;
|
2018-10-26 05:09:55 +02:00
|
|
|
|
|
|
|
# system property device_config_boot_count_prop is used for deciding when to perform server
|
|
|
|
# configurable flags related disaster recovery. Mistakenly set up by unrelated components can, at a
|
|
|
|
# wrong timing, trigger server configurable flag related disaster recovery, which will override
|
|
|
|
# server configured values of all flags with default values.
|
|
|
|
neverallow { domain -init -flags_health_check } device_config_boot_count_prop:property_service set;
|
2018-11-09 01:46:19 +01:00
|
|
|
|
|
|
|
# system property device_config_reset_performed_prop is used for indicating whether server
|
|
|
|
# configurable flags have been reset during booting. Mistakenly modified by unrelated components can
|
|
|
|
# cause bad server configurable flags synced back to device.
|
|
|
|
neverallow { domain -init -flags_health_check } device_config_reset_performed_prop:property_service set;
|
|
|
|
|
|
|
|
# server_configurable_flags_data_file is used for storing whether server configurable flags which
|
|
|
|
# have been reset during current booting. Mistakenly modified by unrelated components can
|
|
|
|
# cause bad server configurable flags synced back to device.
|
|
|
|
neverallow { domain -init -flags_health_check } server_configurable_flags_data_file:file no_w_file_perms;
|