Undo will "undo" a failed export

[WM71811]

Input: export Users/MY_USER_NAME export /Users/mcgymmy -o save_file (show error since no such directory) undo

Then undo will actually do nothing here, in Users/MY_USER_NAME, the saved file is still there, and for the error command export /Users/mcgymmy -o save_file, undo still says undo is successful although actually it is an error command and should inform this to user that undo will not make any difference

[nus-se-bot]

Team's Response

Thank you for the bug report.

Firstly, we will be changing the severity to Low instead of Medium. This issue is unlikely to affect normal operations of the product and only appears only in the rare instance of undoing an export which causes a minor inconvenience only. Refer to image below:

Regardless, we will be accepting it as a documentation bug as it was something that wasn't explicitly stated, albeit implied.

Items for the Tester to Verify

:question: Issue type

Team chose [type.DocumentationBug] Originally [type.FunctionalityBug]

• [ ] I disagree

Reason for disagreement: [replace this with your reason]

---

:question: Issue severity

Team chose [severity.Low] Originally [severity.Medium]

• [ ] I disagree

Reason for disagreement: [replace this with your reason]

---