changeset 67:b8f8ed1ef8dd tip

Provide .wav suffix in delivered filename
author Chris Cannam
date Tue, 30 Sep 2014 16:52:50 +0100
parents e3ae02f26375
children
files src/HumanEchoServlet.java
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/HumanEchoServlet.java	Tue Sep 30 16:29:52 2014 +0100
+++ b/src/HumanEchoServlet.java	Tue Sep 30 16:52:50 2014 +0100
@@ -198,7 +198,7 @@
 
             //set response headers
             response.setContentType("audio/x-wav");
-            response.addHeader("Content-Disposition","attachment; filename=" + outputfname );
+            response.addHeader("Content-Disposition","attachment; filename=" + outputfname + ".wav");
             response.setContentLength( (int) targetFile.length( ) );
 
             FileInputStream input = new FileInputStream(targetFile);