aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChris PeBenito <pebenito@ieee.org>2016-12-18 17:53:46 -0500
committerJason Zaman <jason@perfinion.com>2017-01-02 00:26:28 +0800
commit72650f3e45abe1df97d416208d4472ae9956fd7a (patch)
treee1576462b62738913e1b42a4ef7b2a671cbdf36a
parentrtkit: enable dbus chat with xdm (diff)
downloadhardened-refpolicy-72650f3e45abe1df97d416208d4472ae9956fd7a.tar.gz
hardened-refpolicy-72650f3e45abe1df97d416208d4472ae9956fd7a.tar.bz2
hardened-refpolicy-72650f3e45abe1df97d416208d4472ae9956fd7a.zip
xserver: Move interface definition.
-rw-r--r--policy/modules/services/xserver.if38
1 files changed, 19 insertions, 19 deletions
diff --git a/policy/modules/services/xserver.if b/policy/modules/services/xserver.if
index bebc419a..c1d41b5b 100644
--- a/policy/modules/services/xserver.if
+++ b/policy/modules/services/xserver.if
@@ -792,6 +792,25 @@ interface(`xserver_read_xdm_state',`
########################################
## <summary>
+## Set the priority of the X Display
+## Manager (XDM).
+## </summary>
+## <param name="domain">
+## <summary>
+## Domain allowed access.
+## </summary>
+## </param>
+#
+interface(`xserver_setsched_xdm',`
+ gen_require(`
+ type xdm_t;
+ ')
+
+ allow $1 xdm_t:process setsched;
+')
+
+########################################
+## <summary>
## Create, read, write, and delete
## xdm_spool files.
## </summary>
@@ -1349,22 +1368,3 @@ interface(`xserver_unconfined',`
typeattribute $1 x_domain;
typeattribute $1 xserver_unconfined_type;
')
-
-########################################
-## <summary>
-## Set the priority of the X Display
-## Manager (XDM).
-## </summary>
-## <param name="domain">
-## <summary>
-## Domain allowed access.
-## </summary>
-## </param>
-#
-interface(`xserver_setsched_xdm',`
- gen_require(`
- type xdm_t;
- ')
-
- allow $1 xdm_t:process setsched;
-')