0cd375f Call fini_selinuxmnt if selinux is disabled, to cause is_selinux_disabled() to report correct data

Authored and Committed by dwalsh 12 years ago
    Call fini_selinuxmnt if selinux is disabled, to cause is_selinux_disabled() to report correct data
    
        
file modified
+31 -1
file modified
+7 -1