diff options
author | Chris PeBenito <pebenito@ieee.org> | 2017-04-16 18:45:05 -0400 |
---|---|---|
committer | Jason Zaman <jason@perfinion.com> | 2017-04-30 22:17:43 +0800 |
commit | 86cf7f0c01b889767399e16bd315b2b8bf177340 (patch) | |
tree | 212b730ce1cb597298feeeca4f3f0c81f8df4779 | |
parent | wm: interactive start (diff) | |
download | hardened-refpolicy-86cf7f0c.tar.gz hardened-refpolicy-86cf7f0c.tar.bz2 hardened-refpolicy-86cf7f0c.zip |
wm: interface docs adjustment.
-rw-r--r-- | policy/modules/contrib/wm.if | 29 |
1 files changed, 14 insertions, 15 deletions
diff --git a/policy/modules/contrib/wm.if b/policy/modules/contrib/wm.if index e8fd77069..45ce99496 100644 --- a/policy/modules/contrib/wm.if +++ b/policy/modules/contrib/wm.if @@ -223,22 +223,21 @@ interface(`wm_application_domain',` ') ######################################## -### <summary> -### Write wm unnamed pipes. -### </summary> +## <summary> +## Write wm unnamed pipes. +## </summary> ## <param name="role_prefix"> -### <summary> -### The prefix of the user domain (e.g., user -### is the prefix for user_t). -### </summary> -### </param> -### <param name="domain"> -### <summary> -### Domain allowed access. -### </summary> -### </param> -### </param> -## +## <summary> +## The prefix of the user domain (e.g., user +## is the prefix for user_t). +## </summary> +## </param> +## <param name="domain"> +## <summary> +## Domain allowed access. +## </summary> +## </param> +# interface(`wm_write_pipes',` gen_require(` type $1_t; |