From 93238de5805a186a5a6ff9734b0be9af12dc997d Mon Sep 17 00:00:00 2001
From: James Carter <jwcart2@tycho.nsa.gov>
Date: Wed, 11 Apr 2018 14:55:25 -0400
Subject: [PATCH] Remove undeclared identifiers from xserver interface

The interface xserver_manage_xdm_spool_files() uses the undeclared type
xdm_spool_t. Removed statements referring to this type and marked the
interface as deprecated because it is now empty.

Signed-off-by: James Carter <jwcart2@tycho.nsa.gov>
---
 policy/modules/services/xserver.if | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

diff --git a/policy/modules/services/xserver.if b/policy/modules/services/xserver.if
index b60957fb9..e0d57dc7c 100644
--- a/policy/modules/services/xserver.if
+++ b/policy/modules/services/xserver.if
@@ -851,19 +851,14 @@ interface(`xserver_setsched_xdm',`
 ##	Create, read, write, and delete
 ##	xdm_spool files.
 ## </summary>
-## <param name="domain">
+## <param name="domain" unused="true">
 ##	<summary>
 ##	Domain allowed access.
 ##	</summary>
 ## </param>
 #
 interface(`xserver_manage_xdm_spool_files',`
-	gen_require(`
-		type xdm_spool_t;
-	')
-
-	files_search_spool($1)
-	manage_files_pattern($1, xdm_spool_t, xdm_spool_t)
+	refpolicywarn(`$0() has been deprecated.')
 ')
 
 ########################################