Re: setroubleshootd dead but pid file exists