Check_MK Werk 1009: df: deal with space in file system type for PlayStation file system

ID: 1009 Title: df: deal with space in file system type for PlayStation file system Component: Checks & Agents Level: 1 Class: Bug Fix Version: 1.2.5i6 This inventory function of the check crashed when there was a filesystem with a space in the filesystem type. We have seen one filesystem with the type <tt>PlayStation(R)3 File System</tt>. This has been fixed now.