diff --git a/public/tools.php b/public/tools.php index d1e76b2ca..bfe6f8f44 100644 --- a/public/tools.php +++ b/public/tools.php @@ -85,7 +85,7 @@ function clearCache($root_dir, $php_path) if (!file_exists($php_path)) { $php_path = 'php'; } - $php_path = preg_replace("#[ ;\|]#", '', $php_path); + $php_path = preg_replace("#[ ;&\|]#", '', $php_path); if (!$php_path) { $php_path = 'php'; }