1 |
commit: 64045504485f73be3553bb7b3ee2cbbe2fc6866c |
2 |
Author: Chris PeBenito <pebenito <AT> ieee <DOT> org> |
3 |
AuthorDate: Sun Apr 16 22:45:05 2017 +0000 |
4 |
Commit: Jason Zaman <perfinion <AT> gentoo <DOT> org> |
5 |
CommitDate: Sun Apr 30 09:12:52 2017 +0000 |
6 |
URL: https://gitweb.gentoo.org/proj/hardened-refpolicy.git/commit/?id=64045504 |
7 |
|
8 |
wm: interface docs adjustment. |
9 |
|
10 |
policy/modules/contrib/wm.if | 29 ++++++++++++++--------------- |
11 |
1 file changed, 14 insertions(+), 15 deletions(-) |
12 |
|
13 |
diff --git a/policy/modules/contrib/wm.if b/policy/modules/contrib/wm.if |
14 |
index e8fd7706..45ce9949 100644 |
15 |
--- a/policy/modules/contrib/wm.if |
16 |
+++ b/policy/modules/contrib/wm.if |
17 |
@@ -223,22 +223,21 @@ interface(`wm_application_domain',` |
18 |
') |
19 |
|
20 |
######################################## |
21 |
-### <summary> |
22 |
-### Write wm unnamed pipes. |
23 |
-### </summary> |
24 |
+## <summary> |
25 |
+## Write wm unnamed pipes. |
26 |
+## </summary> |
27 |
## <param name="role_prefix"> |
28 |
-### <summary> |
29 |
-### The prefix of the user domain (e.g., user |
30 |
-### is the prefix for user_t). |
31 |
-### </summary> |
32 |
-### </param> |
33 |
-### <param name="domain"> |
34 |
-### <summary> |
35 |
-### Domain allowed access. |
36 |
-### </summary> |
37 |
-### </param> |
38 |
-### </param> |
39 |
-## |
40 |
+## <summary> |
41 |
+## The prefix of the user domain (e.g., user |
42 |
+## is the prefix for user_t). |
43 |
+## </summary> |
44 |
+## </param> |
45 |
+## <param name="domain"> |
46 |
+## <summary> |
47 |
+## Domain allowed access. |
48 |
+## </summary> |
49 |
+## </param> |
50 |
+# |
51 |
interface(`wm_write_pipes',` |
52 |
gen_require(` |
53 |
type $1_t; |