# HG changeset patch
# User Chris Cannam
# Date 1412092370 -3600
# Node ID b8f8ed1ef8ddc71da1836fbd1b7353a652d0428c
# Parent  e3ae02f26375adbe21a86b3a6b7ef773f185b11b
Provide .wav suffix in delivered filename

diff -r e3ae02f26375 -r b8f8ed1ef8dd src/HumanEchoServlet.java
--- 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);