Allow to (explicitly) choose the file type when exporting URLs to file

[GoogleCodeExporter]

What steps will reproduce the problem?
1.Report->export all urls to file
2.Export file type choose html(default export file type) and click save button.

The export file type is still txt,but not html.

Found in ZAP_WEEKLY_D-2013-04-08.zip.

If you use the file name like xxx.html,then file type will be html,but if you 
only input the file name,it will be still txt file even you choose the html as 
the file type.

Original issue reported on code.google.com by zhangcho...@gmail.com on 8 Apr 2013 at 9:48

[GoogleCodeExporter]

Issue 603 has been merged into this issue.

Original comment by psii...@gmail.com on 8 Apr 2013 at 9:56

[GoogleCodeExporter]

Ah, a cut-n-paste error ;)

Original comment by psii...@gmail.com on 8 Apr 2013 at 9:57

• Changed state: Accepted

[GoogleCodeExporter]

Currently there's only one file type ("ASCII text or HTML file"), which doesn't 
allow to choose the file type (as there's no way to know if the user wants TXT 
or HTML). The file type is determined by the file extension, if it's "html" (or 
"htm") the file type will be HTML otherwise it will be TXT.

Original comment by THC...@gmail.com on 14 Apr 2013 at 2:59

• Changed title: Allow to (explicitly) choose the file type when exporting URLs to file
• Changed state: Started
• Added labels: Type-Enhancement, Usability
• Removed labels: Type-Defect

[GoogleCodeExporter]

Changed to show two file types ("text" and "html"), which allow to choose the 
file type if no extension is present in the file name (".txt" or 
".html"/".htm"). It keeps compatibility with the old behaviour.

r3054

Original comment by THC...@gmail.com on 14 Apr 2013 at 6:37

• Changed state: Committed

[GoogleCodeExporter]

Original comment by psii...@gmail.com on 15 Apr 2013 at 8:44

• Added labels: Build-20130415

[GoogleCodeExporter]

Fixed in 2.1.0

Original comment by psii...@gmail.com on 18 Apr 2013 at 9:49

• Changed state: Fixed