JSON files served via DM file repo

[jri]

The response of a file repo HTTP request contains no Content-Type header if the requested file's extension is .json. As a consequence Firefox displays not well-formed in the browser console. This is not a true problem but should be fixed. (In Chrome and Safari the problem does not appear).

[Jörg Richter <jri@…>]

In 3073db1ce8d22ade585cac3121ce52bb651786d5/deepamehta:

Core: serve JSON files with Content-Type (#950).

JSON files served via DM file repo have a Content-Type header.

Now for serving the file repo the Core utilizes JavaUtils's getFileType() method, which relies on Java's file type map (along with manual additions). As a consequence MP3 files are now served with the proper audio/mpeg content type (instead audio/x-mpeg) and are played by Firefox :-)

See #950.

[Malte]

This is great :) i just tested it with a ".webm" file on firefox!
Thanks!

[jri]

The same should be applied to the bundle resources served via /<bundle-symbolic-name>/...

At the moment a JSON bundle resource is served without Content-Type header.

[Jörg Richter <jri@…>]

In 11ffba07fb9ef860312c490b0ec151fc45261426/deepamehta:

Serve JSON resources with Content-Type (#950).

JSON bundle resources (/<bundle-symbolic-name>/...) are served with Content-Type header.

The same MIME-type detection mechanism is used for serving both, the file system, and bundle resources.

See #950.