* @return the file holding the response
* @throws OutOfMemoryError
*/
- public File fetchDataAsFile(String ids, String f, String s, String ext)
- public File fetchDataAsFile(String ids, String format, String s)
++
++ public File fetchDataAsFile(String ids, String format, String s,
++ String ext)
throws OutOfMemoryError
{
File outFile = null;
try
{
- outFile = File.createTempFile("jalview", ".xml");
+ outFile = File.createTempFile("jalview", ext);
outFile.deleteOnExit();
- fetchData(ids, f, s, outFile);
+ fetchData(ids, format, s, outFile);
if (outFile.length() == 0)
{
outFile.delete();