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"
--
Stian Soiland-Reyes, myGrid team
School of Computer Science
The University of Manchester
------------------------------------------------------------------------------
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
