fclose(): supplied resource is not a valid stream resource

[JosefSommerauer]

Some files throw fclose(): supplied resource is not a valid stream resource Error.

Suggested fix:

PHPDeobfuscator/src/Reducer/FuncCallReducer/FileSystemCall.php

Line 133 in 3f5f3b1

fclose($handle->getResource());

     private function fclose(ResourceValue $handle)
     {
        if (is_resource($handle->getResource())) {
           fclose($handle->getResource());
        }
     }

[simon816]

Thanks for the bug report. I've fixed this in a slightly different way - by tracking whether a file handle has been closed and ignoring file handle functions once it's closed.