whoami7 - Manager
:
/
home
/
kckglobal
/
www
/
portal
/
vendor
/
azjezz
/
psl
/
src
/
Psl
/
Filesystem
/
Upload File:
files >> /home/kckglobal/www/portal/vendor/azjezz/psl/src/Psl/Filesystem/delete_file.php
<?php declare(strict_types=1); namespace Psl\Filesystem; use Psl\Internal; use Psl\Str; use function unlink; /** * Delete the file specified by $filename. * * @param non-empty-string $file * * @throws Exception\RuntimeException If unable to delete the file. * @throws Exception\NotFileException If $file is not a file. * @throws Exception\NotFoundException If $file is not found. */ function delete_file(string $file): void { if (!namespace\exists($file)) { throw Exception\NotFoundException::forFile($file); } if (!namespace\is_file($file)) { throw Exception\NotFileException::for($file); } [$result, $error_message] = Internal\box(static fn(): bool => unlink($file)); // @codeCoverageIgnoreStart if (false === $result && namespace\is_file($file)) { throw new Exception\RuntimeException(Str\format( 'Failed to delete file "%s": %s.', $file, $error_message ?? 'internal error' )); } // @codeCoverageIgnoreEnd }
Copyright ©2021 || Defacer Indonesia