Gentoo Archives: gentoo-commits

From: Jason Zaman <perfinion@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] proj/hardened-refpolicy:master commit in: policy/modules/contrib/
Date: Sun, 30 Apr 2017 14:20:05
Message-Id: 1493561863.86cf7f0c01b889767399e16bd315b2b8bf177340.perfinion@gentoo
1 commit: 86cf7f0c01b889767399e16bd315b2b8bf177340
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 14:17:43 2017 +0000
6 URL: https://gitweb.gentoo.org/proj/hardened-refpolicy.git/commit/?id=86cf7f0c
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;