Commit 06ac5394eb808d5bacb828c0c65d7a4e36a41075
1 parent
1e4e16dc
Exists in
master
and in
111 other branches
no more res file
Showing
1 changed file
with
1 additions
and
1 deletions
Show diff stats
php/classes/DerivedParamMgr.php
... | ... | @@ -373,7 +373,7 @@ |
373 | 373 | } |
374 | 374 | } |
375 | 375 | if (file_exists(USERWSDIR.$id.'.xml')) unlink(USERWSDIR.$id.'.xml'); |
376 | - if (file_exists(USERWORKINGDIR.$id.'.res')) unlink(USERWORKINGDIR.$id.'.res'); | |
376 | + | |
377 | 377 | $requestMgr = new RequestMgr(); |
378 | 378 | $n_requests = $requestMgr -> markAsUndefined($id); |
379 | 379 | return $isDeletedMask; | ... | ... |