Stian Soiland-Reyes wrote: > On Thu, Jun 11, 2009 at 12:08, Alan Williams<[email protected]> wrote: >> The appropriate code is (I think) in >> net.sf.taverna.t2.workbench.views.results.saveactions.SaveIndividualResult >> at lines 235-237 where it has >> >> if (!file.getName().toLowerCase().endsWith(".txt")) { >> String newFileName = file.getName() + ".txt"; >> file = new File(file.getParentFile(), newFileName); >> } > > It should probably check for if the file has a .something at all ( > file.getName().contains(".") )- if there's no dot in the filename (ie. > no extension) - then append ".txt"
Yes, very similar code appears twice. There is a bit for any fileExtension, that I'm altering as well. Alan ------------------------------------------------------------------------------ Crystal Reports - New Free Runtime and 30 Day Trial Check out the new simplified licensing option that enables unlimited royalty-free distribution of the report engine for externally facing server and web deployment. http://p.sf.net/sfu/businessobjects _______________________________________________ taverna-hackers mailing list [email protected] Web site: http://www.taverna.org.uk Mailing lists: http://www.taverna.org.uk/taverna-mailing-lists/ Developers Guide: http://www.mygrid.org.uk/tools/developer-information
