|
|
@ -2,20 +2,15 @@
|
|
|
|
//guange 2019.12.18
|
|
|
|
//guange 2019.12.18
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
$(function(){
|
|
|
|
|
|
|
|
console.log("educoder jupyter js init");
|
|
|
|
|
|
|
|
runEvery10Sec();
|
|
|
|
|
|
|
|
})
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
$(function(){
|
|
|
|
$(function(){
|
|
|
|
console.log("开始发送消息了");
|
|
|
|
console.log("开始发送消息了");
|
|
|
|
window.parent.postMessage('jupytermessage','*');
|
|
|
|
runEvery10Sec();
|
|
|
|
|
|
|
|
|
|
|
|
})
|
|
|
|
})
|
|
|
|
|
|
|
|
|
|
|
|
function runEvery10Sec() {
|
|
|
|
function runEvery10Sec() {
|
|
|
|
// 1000 * 10 = 10 秒钟
|
|
|
|
// 1000 * 10 = 10 秒钟
|
|
|
|
console.log("每隔10秒中一次runEvery10Sec");
|
|
|
|
console.log("每隔10秒中一次runEvery10Sec");
|
|
|
|
|
|
|
|
window.parent.postMessage('jupytermessage','*');
|
|
|
|
setTimeout( runEvery10Sec, 1000 * 10 );
|
|
|
|
setTimeout( runEvery10Sec, 1000 * 10 );
|
|
|
|
|
|
|
|
|
|
|
|
}
|
|
|
|
}
|
|
|
|