The file.delete( ) method deletes the file.
If the file is currently open, an error is generated.
If the file does not exist on disk, the method does nothing (no error is generated).
WARNING: file.delete( ) can delete any file on a disk. This includes documents created with other applications, as well as the applications themselves. file.delete( ) should be used with extreme caution. Deleting a file is a permanent operation and cannot be undone.
You want to delete a specific file in the database folder:
$tempo:=File("/PACKAGE/SpecialPrefs/"+Current user+".prefs")
If($tempo.exists)
$tempo.delete()
ALERT("User preference file deleted.")
End if