/WebSVN/dl.php
94,14 → 94,14
// Delete the directory. Why doesn't PHP have a generic recursive directory
// deletion command? It's stupid.
 
if ($config->serverIsWindows)
{
$cmd = quoteCommand("rmdir /S /Q ".quote($tmpname), false);
}
else
{
$cmd = quoteCommand("rm -rf ".quote($tmpname), false);
}
// if ($config->serverIsWindows)
// {
// $cmd = quoteCommand("rmdir /S /Q ".quote($tmpname), false);
// }
// else
// {
$cmd = quoteCommand("rm -fr ".quote($tmpname), false);
// }
@exec($cmd);
}