Merge branch 'master' of https://github.com/dddomodossola/remi

Author: dddomodossola

remi/gui.py

@@ -44,7 +44,10 @@
         unescape = html.unescape
 
 from .server import runtimeInstances
-
+try:
+    from urllib.parse import quote
+except ImportError:
+    from urllib import quote
 
 log = logging.getLogger('remi.gui')
 
@@ -4165,8 +4168,9 @@ def __init__(self, text, filename, path_separator='/', *args, **kwargs):
     def download(self):
         with open(self._filename, 'rb') as f:
             content = f.read()
+        filename = quote(os.path.basename(self._filename))
         headers = {'Content-type': 'application/octet-stream',
-                   'Content-Disposition': 'attachment; filename="%s"' % os.path.basename(self._filename)}
+                   'Content-Disposition': 'attachment; filename="{0}"; filename*=UTF-8\'\'{0}'.format(filename)}
         return [content, headers]