Merge pull request #3263 from minrk/nocp

fix set_last_checkpoint when no checkpoint
Brian E. Granger 13 years ago
commit 32c0f7abf9

@ -138,6 +138,9 @@ var IPython = (function (IPython) {
}
SaveWidget.prototype.set_last_checkpoint = function (checkpoint) {
if (!checkpoint) {
this.set_checkpoint_status("");
}
var d = new Date(checkpoint.last_modified);
this.set_checkpoint_status(
"Last Checkpoint: " + d.format('mmm dd HH:MM')

Loading…
Cancel
Save