Bug #67888 export : JSON files with .json not .js

• Submitted: 12 Dec 2012 19:58
• Modified: 13 Jan 2013 12:04
• Reporter: Nikolas von Randow
• Status: No Feedback
• Category: MySQL Workbench: Modeling
• Severity: S3 (Non-critical)
• Version: 5.2.40
• OS: Linux (Linux 3.5.0-20-generic)
• CPU Architecture: Any
• Tags: WBBugReporter

[12 Dec 2012 19:58] Nikolas von Randow

Description:
The file-name ending of JSON-files is .json NOT .js
(export result set does this)

How to repeat:
The file-name ending of JSON-files is .json NOT .js
(export result set does this)

[13 Dec 2012 12:04] MySQL Verification Team

Please try version 5.2.44. Thanks.

[14 Jan 2013 1:00] Bugs System

No feedback was provided for this bug for over a month, so it is
being suspended automatically. If you are able to provide the
information that was originally requested, please do so and change
the status of the bug back to "Open".