function userAgentPattern()
{
$pattern = '//';
$userAgentSettings = eZWebDAVServer::userAgentSettings();
if (count($userAgentSettings) > 0) {
$pattern = '/';
foreach ($userAgentSettings as $agent => $settings) {
$pattern .= $agent . '|';
}
$pattern[strlen($pattern) - 1] = '/';
}
return $pattern;
}
