delete_file
Definition: | bool res = delete_file(string filename) |
Description: |
Delete a file.
filename: the name of the file to delete. Returns: false (0) on failure, true (1) on success. |
pwa/p2js: | Not supported. |
Comments: |
Unlike some other routines here, any path separators should be appropriate for the operating
system, namely backslash ('\\') on Windows and forwardslash ('/') on Linux. If in doubt (not already a result from the top half of the table) pass src/dest through get_proper_path() and/or get_proper_dir() before passing them to this routine. |
Implementation: | See builtins\pfile.e (an autoinclude) for details of the actual implementation. |