From 656414a0358eee17b91f189c20f06c85aff5d889 Mon Sep 17 00:00:00 2001 From: Dan Walsh Date: Tue, 29 Nov 2011 15:35:54 -0500 Subject: [PATCH] Fix dpi handling in sandbox --- policycoreutils-rhat.patch | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/policycoreutils-rhat.patch b/policycoreutils-rhat.patch index d5da8c8..3e9bd63 100644 --- a/policycoreutils-rhat.patch +++ b/policycoreutils-rhat.patch @@ -111,7 +111,7 @@ index 1c458f1..96c6795 100644 install -m 4755 seunshare $(SBINDIR)/ -mkdir -p $(SHAREDIR) diff --git a/policycoreutils/sandbox/sandbox b/policycoreutils/sandbox/sandbox -index 486cd4e..6987652 100644 +index 486cd4e..15a3ea3 100644 --- a/policycoreutils/sandbox/sandbox +++ b/policycoreutils/sandbox/sandbox @@ -118,10 +118,30 @@ def reserve(level): @@ -194,10 +194,10 @@ index 486cd4e..6987652 100644 if self.__options.X_ind: + if self.__options.dpi: -+ dpi = self.__options.dpi: ++ dpi = self.__options.dpi + else: + import gtk -+ dpi = gtk.settings_get_default().props.gtk_xft_dpi/1024 ++ dpi = str(gtk.settings_get_default().props.gtk_xft_dpi/1024) + xmodmapfile = self.__homedir + "/.xmodmap" xd = open(xmodmapfile,"w")