HTML export: Changing extension breaks guid search

[Oliver F.]

Filed a new bug:

========================
The HTML export dialog lets the user jump to an element via guid={ELEMENT_GUID} statement.

However if the default extension .htm is changed to eg. .html in the dialog this leads to a 404 error (page not found).
Reason propably is the DisplayToc.js script which expects .htm only.

Export elements with .htm extension, then acces them via index.htm?guid=elementguid => works
Do the same with the .html extension, access the elements via index.html?guid=elementguid => page not found

===================

Oliver

[Oliver F.]

Hehe, Dermot told me that this bug was reproducable in build 848 but not in 850 any more.

Guess what this means

Oliver