private function quoteApplicationName($s) { $quotedString = preg_replace('/ {2,}|\\s/', ' ', $s); $quotedString = preg_replace('/\\\\/', '\\\\\\\\', $quotedString); $quotedString = preg_replace('/\\//', '\\/', $quotedString); return $quotedString; }