use filename from request path if available

diff --git a/download.cgi b/download.cgi
index 7d04df7457a21566a5e409cf1c5b05850c6f707c..374d63fb230c3792d8a88335f9e7e7b14d3d1a66 100755 (executable)
--- a/download.cgi
+++ b/download.cgi
@@ -54,6 +54,8 @@ elif d:
         ext = 'wav'
     else:
         ext = 'ogg'
+    filename = '%s-%s.ext' % (
+            start.strftime('%Y-%m-%d-%Hh%M'), end.strftime('%Hh%M'), ext)
 else:
     print 'Location: .'
     print ''
@@ -127,8 +129,7 @@ if ext == 'wav':
 else:
     print 'Content-Type: audio/ogg'
 
-print 'Content-Disposition: attachment; filename=%s.%s\n' % \
-                (start.strftime('%Y-%m-%d-%Hh%M') + end.strftime('-%Hh%M'), ext)
+print 'Content-Disposition: attachment; filename=%s\n' % filename
 
 sys.stdout.flush()