plugin.js

   1 //プログラム リモート コントローラー
   2 //プログラムの作成中に複数台の端末を一斉に制御し、更新やページ移動を簡単にできるようにしています。
   3 //plugin.js - 実際に制御されるプログラムに埋め込んでおきます。他のスクリプトには影響を与えません。
   4 window.addEventListener('load',function(){
   5         //イベントストリームでserver.phpに接続
   6         var stream=new EventSource('http://'+location.hostname+'/control/server.php');
   7         //再読み込み
   8         stream.addEventListener('reload',function(e){
   9                 if(localStorage.sshCtrlCmdId==JSON.parse(e.data).id){
  10                         return false;
  11                 }
  12                 localStorage.sshCtrlCmdId=JSON.parse(e.data).id;
  13                 location.reload();
  14         });
  15         //ページジャンプ
  16         stream.addEventListener('jump',function(e){
  17                 if(localStorage.sshCtrlCmdId==JSON.parse(e.data).id){
  18                         return false;
  19                 }
  20                 localStorage.sshCtrlCmdId=JSON.parse(e.data).id;
  21                 location.href=JSON.parse(e.data).data;
  22         });
  23 });