- if(is_dir($derivations_dir))
- { if($dh = opendir($derivations_dir))
- { while($OK && (($file = readdir($dh)) !== false))
- { if(preg_match("/^.+\.xml$/", $file))
- { $OK = @unlink($derivations_dir.$file) && $OK;
+ if(is_dir($derivations_dir)){
+ if($dh = opendir($derivations_dir)){
+ while($OK && (($file = readdir($dh)) !== false)){
+ if(preg_match("/^.+\.xml$/", $file)){
+ $OK = @unlink($derivations_dir.$file) && $OK;