Project

General

Profile

« Previous | Next » 

Revision 9e26b71e

Added by koszko about 2 years ago

fix page info server bugs

View differences:

background/page_info_server.js
40 40 
    connection_data.port.postMessage(["new_url", query_all(url)]);
41 41 
}
42 42 

  		




  43
  
  
    
function remove_storage_listener(cb)


  		




  44
  
  
    
{


  		




  45
  
  
    
    storage.remove_change_listener(cb);


  		




  46
  
  
    
}


  		




  47
  
  
    

  		




  48
  43
  
    
function new_connection(port)


  		




  49
  44
  
    
{


  		




  50
  45
  
    
    console.log("new page info connection!");


  		




  ......




  59
  54
  
    
    storage.add_change_listener(_handle_change);


  		




  60
  55
  
    

  		




  61
  56
  
    
    port.onMessage.addListener(m => handle_subscription(connection_data, m));


  		




  62
  
  
    
    port.onDisconnect.addListener(() => remove_storage_listener(handle_change));


  		




  
  57
  
    
    port.onDisconnect.addListener(


  		




  
  58
  
    
	() => storage.remove_change_listener(_handle_change)


  		




  
  59
  
    
    );


  		




  63
  60
  
    
}


  		




  64
  61
  
    

  		




  65
  62
  
    
async function start_page_info_server()


  		












Also available in:  Unified diff