La méthode file.delete( ) supprime le fichier.
Si le fichier est ouvert, une erreur est générée.
Si le fichier n'existe pas sur disque, la méthode ne fait rien (aucune erreur n'est générée).
ATTENTION : file.delete( ) peut supprimer n'importe quel fichier sur un disque, y compris les documents créés avec d'autres applications ainsi que les applications elles-mêmes. file.delete( ) doit être utilisé avec beaucoup de précaution. La suppression d'un fichier est une opération permanente et irréversible.
Vous souhaitez supprimer un fichier spécifique dans un dossier de base de données :
$tempo:=File("/PACKAGE/SpecialPrefs/"+Current user+".prefs")
If($tempo.exists)
$tempo.delete()
ALERT("Fichier des préférences de l'utilisateur supprimé.")
End if