/**
* Returns the original filesystem name of the specified file (before any renaming policy was
* applied), or null if the file was not included in the upload. A filesystem name is the name
* specified by the user.
*
* @param name the html page's file parameter name.
* @return the original file name of the file.
*/
public String getOriginalFileName(String name) {
try {
UploadedFile file = (UploadedFile) files.get(name);
return file.getOriginalFileName(); // may be null
} catch (Exception e) {
return null;
}
}
/**
* Returns a File object for the specified file saved on the server's filesystem, or null if the
* file was not included in the upload.
*
* @param name the html page's file parameter name.
* @return a File object for the named file.
*/
public File getFile(String name) {
try {
UploadedFile file = (UploadedFile) files.get(name);
return file.getFile(); // may be null
} catch (Exception e) {
return null;
}
}
/**
* Returns the filesystem name of the specified file, or null if the file was not included in the
* upload. A filesystem name is the name specified by the user. It is also the name under which
* the file is actually saved.
*
* @param name the html page's file parameter name.
* @return the filesystem name of the file.
*/
public String getFilesystemName(String name) {
try {
UploadedFile file = files.get(name);
return file.getFilesystemName(); // may be null
} catch (Exception e) {
return null;
}
}