##// END OF EJS Templates
Kernel/notebook mapping is removed when a kernel dies....
Kernel/notebook mapping is removed when a kernel dies. * Previously, when a kernel died due to an external cause, the notebook/kernel mapping was not removed, so the kernel would be resused even though it was dead. * The heartbeat now properly removes the notebook/kernel mapping.

File last commit:

r4549:1786348b
r4563:a1dcaf67
Show More
savewidget.js
109 lines | 3.2 KiB | application/javascript | JavascriptLexer
//============================================================================
// Cell
//============================================================================
var IPython = (function (IPython) {
var utils = IPython.utils;
var SaveWidget = function (selector) {
this.selector = selector;
this.notebook_name_re = /[^/\\]+/
if (this.selector !== undefined) {
this.element = $(selector);
this.style();
this.bind_events();
}
};
SaveWidget.prototype.style = function () {
this.element.find('input#notebook_name').addClass('ui-widget ui-widget-content');
this.element.find('button#save_notebook').button();
var left_panel_width = $('div#left_panel').outerWidth();
var left_panel_splitter_width = $('div#left_panel_splitter').outerWidth();
$('span#save_widget').css({marginLeft:left_panel_width+left_panel_splitter_width});
};
SaveWidget.prototype.bind_events = function () {
var that = this;
this.element.find('button#save_notebook').click(function () {
IPython.notebook.save_notebook();
that.set_document_title();
});
};
SaveWidget.prototype.get_notebook_name = function () {
return this.element.find('input#notebook_name').attr('value');
}
SaveWidget.prototype.set_notebook_name = function (nbname) {
this.element.find('input#notebook_name').attr('value',nbname);
this.set_document_title();
}
SaveWidget.prototype.set_document_title = function () {
nbname = this.get_notebook_name();
document.title = 'IPy: ' + nbname;
};
SaveWidget.prototype.get_notebook_id = function () {
return this.element.find('span#notebook_id').text()
};
SaveWidget.prototype.update_url = function () {
var notebook_id = this.get_notebook_id();
if (notebook_id !== '') {
window.history.replaceState({}, '', notebook_id);
};
};
SaveWidget.prototype.test_notebook_name = function () {
var nbname = this.get_notebook_name();
if (this.notebook_name_re.test(nbname)) {
return true;
} else {
var bad_name = $('<div/>');
bad_name.html(
"The notebook name you entered (" +
nbname +
") is not valid. Notebook names can contain any characters except / and \\"
);
bad_name.dialog({title: 'Invalid name', modal: true});
return false;
};
};
SaveWidget.prototype.status_save = function () {
this.element.find('span.ui-button-text').text('Save');
this.element.find('button#save_notebook').button('enable');
};
SaveWidget.prototype.status_saving = function () {
this.element.find('span.ui-button-text').text('Saving');
this.element.find('button#save_notebook').button('disable');
};
SaveWidget.prototype.status_loading = function () {
this.element.find('span.ui-button-text').text('Loading');
this.element.find('button#save_notebook').button('disable');
};
IPython.SaveWidget = SaveWidget;
return IPython;
}(IPython));