Ticket #3667 (closed defect: fixed)

Opened 3 months ago

Last modified 3 months ago

[with patch; positive review] notebook -- if user history can't be loaded from disk make it blank (much better than making entire notebook not work at all)

Reported by: was Assigned to: boothby
Priority: major Milestone: sage-3.0.6
Component: notebook Keywords:
Cc:

Description

If the user's command log for some reason can't be loaded from disk, currently the notebook simply fails to ever work for them again. This is not ideal behavior. This 1-line patches fixes this problem by making the history log empty in this case.

Attachments

sage-3667.patch (0.8 kB) - added by was on 07/16/2008 12:45:29 AM.

Change History

07/16/2008 12:45:29 AM changed by was

  • attachment sage-3667.patch added.

07/16/2008 11:25:52 AM changed by mabshoff

  • summary changed from [with patch; needs (easy) review] notebook -- if user history can't be loaded from disk make it blank (much better than making entire notebook not work at all) to [with patch; positive review] notebook -- if user history can't be loaded from disk make it blank (much better than making entire notebook not work at all).

As is this is next to impossible to doctest. Positive review.

Cheers,

Michael

07/16/2008 11:27:12 AM changed by mabshoff

  • status changed from new to closed.
  • resolution set to fixed.

Merged in Sage 3.0.6.alpha0