Plexus/Plex-FAWE
1
0
Fork 0
mirror of https://github.com/plexusorg/Plex-FAWE.git synced 2025-07-15 07:18:34 +00:00
Code Issues Packages Projects Releases Wiki Activity

Revamped file dialog handling.

Browse Source
This commit is contained in:
sk89q
2011-01-30 21:32:52 -08:00
parent 888699cae0
commit c6537a783d
6 changed files with 193 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

40
src/com/sk89q/worldedit/scripting/CraftScriptContext.java
View File

@ -210,23 +210,55 @@ public class CraftScriptContext extends CraftScriptEnvironment {
* @return
* @throws FilenameException
*/
@Deprecated
public File getSafeFile(String folder, String filename) throws FilenameException {
File dir = controller.getWorkingDirectoryFile(folder);
return controller.getSafeFile(player, dir, filename, null);
return controller.getSafeOpenFile(player, dir, filename, null, null);
}
/**
* This version will append an extension if one doesn't exist.
* Gets the path to a file for opening. This method will check to see if the
* filename has valid characters and has an extension. It also prevents
* directory traversal exploits by checking the root directory and the file
* directory. On success, a <code>java.io.File</code> object will be
* returned.
*
* <p>Use this method if you need to read a file from a directory.</p>
*
* @param folder sub-directory to look in
* @param filename filename (user-submitted)
* @param defaultExt default extension to append if there is none
* @param exts list of extensions for file open dialog, null for no filter
* @return
* @throws FilenameException
*/
public File getSafeFile(String folder, String filename, String defaultExt)
public File getSafeOpenFile(String folder, String filename,
String defaultExt, String[] exts)
throws FilenameException {
File dir = controller.getWorkingDirectoryFile(folder);
return controller.getSafeFile(player, dir, filename, defaultExt);
return controller.getSafeOpenFile(player, dir, filename, defaultExt, exts);
}
/**
* Gets the path to a file for saving. This method will check to see if the
* filename has valid characters and has an extension. It also prevents
* directory traversal exploits by checking the root directory and the file
* directory. On success, a <code>java.io.File</code> object will be
* returned.
*
* <p>Use this method if you need to read a file from a directory.</p>
*
* @param folder sub-directory to look in
* @param filename filename (user-submitted)
* @param defaultExt default extension to append if there is none
* @param exts list of extensions for file save dialog, null for no filter
* @return
* @throws FilenameException
*/
public File getSafeSaveFile(String folder, String filename,
String defaultExt, String[] exts)
throws FilenameException {
File dir = controller.getWorkingDirectoryFile(folder);
return controller.getSafeSaveFile(player, dir, filename, defaultExt, exts);
}
}