FileInputStream.php 1 location
|
@@ 54-56 (lines=3) @@
|
| 51 |
|
return; |
| 52 |
|
} |
| 53 |
|
|
| 54 |
|
if (get_resource_type($this->stream) !== 'Unknown' && fclose($this->stream) === false) { |
| 55 |
|
throw new IOException("Cannot close input stream."); |
| 56 |
|
} |
| 57 |
|
|
| 58 |
|
$this->stream = null; |
| 59 |
|
} |
FileOutputStream.php 1 location
|
@@ 97-99 (lines=3) @@
|
| 94 |
|
// PHP5.3.2以降はfcloseではロック解放されなくなり、明示的に開放する必要がある |
| 95 |
|
flock($this->stream, LOCK_UN); |
| 96 |
|
|
| 97 |
|
if (get_resource_type($this->stream) !== 'Unknown' && fclose($this->stream) === false) { |
| 98 |
|
throw new IOException("Cannot close output stream."); |
| 99 |
|
} |
| 100 |
|
|
| 101 |
|
$this->stream = null; |
| 102 |
|
} |