educoder/public/javascripts/jupyter.js

//用于嵌入到jupyter pod中的js
//guange 2019.12.18


window.onload=function(){
	console.log("开始发送消息了");
	runEvery10Sec();
}

function runEvery10Sec() {
	// 1000 * 10 = 10 秒钟
	console.log("每隔10秒中一次");
	require(["base/js/namespace"],function(Jupyter) {
		Jupyter.notebook.save_checkpoint();
	});
	window.parent.postMessage('jupytermessage','*');
	setTimeout( runEvery10Sec, 1000 * 10 );
}