Increase communication surface between dumpstate and Shell:

am: 83fd8a54

* commit '83fd8a54':
  Increase communication surface between dumpstate and Shell:

dumpstate.te

@@ -111,3 +111,7 @@ allow dumpstate { service_manager_type -gatekeeper_service }:service_manager fin
 allow dumpstate servicemanager:service_manager list;
 
 allow dumpstate devpts:chr_file rw_file_perms;
+
+# Set properties.
+# dumpstate_prop is used to share state with the Shell app.
+set_prop(dumpstate, dumpstate_prop)

property.te

 type default_prop, property_type;
 type shell_prop, property_type;
 type debug_prop, property_type;
+type dumpstate_prop, property_type;
 type persist_debug_prop, property_type;
 type debuggerd_prop, property_type;
 type dhcp_prop, property_type;

property_contexts

@@ -29,6 +29,7 @@ bluetooth.              u:object_r:bluetooth_prop:s0
 
 debug.                  u:object_r:debug_prop:s0
 debug.db.               u:object_r:debuggerd_prop:s0
+dumpstate.              u:object_r:dumpstate_prop:s0
 log.                    u:object_r:shell_prop:s0
 service.adb.root        u:object_r:shell_prop:s0
 service.adb.tcp.port    u:object_r:shell_prop:s0

shell.te

@@ -62,7 +62,9 @@ r_dir_file(shell, apk_data_file)
 
 # Set properties.
 set_prop(shell, shell_prop)
+set_prop(shell, ctl_bugreport_prop)
 set_prop(shell, ctl_dumpstate_prop)
+set_prop(shell, dumpstate_prop)
 set_prop(shell, debug_prop)
 set_prop(shell, powerctl_prop)