Details
-
Improvement
-
Status: Closed
-
Trivial
-
Resolution: Fixed
-
2.6
-
None
Description
Basically now we don't care about such detail, so the exported files take a name based on the url which serves the rdf in whatever serialization.
This is trivial to improve:
response.addHeader("Content-Disposition", "attachment; filename=" + filename)
but has to be done.