node/docfetcher.js
// a certain connection notifies it doesn't have a given hash
a certain connection notifies it doesn't have a given hash
a certain connection notifies it doesn ' t have a given hash
function not_found(connection_id, hash){
    var pos = this.docs_being_fetched[hash].providers.indexOf(connection_id);
    if(pos == -1)
        return;
    this.docs_being_fetched[hash].providers.splice(pos, 1);
    if(pos == 0)
        this.fetch_top(hash);
}
function not_found ( connection_id , hash ) { var pos = this . docs_being_fetched [ hash ] . providers . indexOf ( connection_id ) ; if ( pos == - 1 ) return ; this . docs_being_fetched [ hash ] . providers . splice ( pos , 1 ) ; if ( pos == 0 ) this . fetch_top ( hash ) ; }
a certain connection notifies it doesn't have a given hash
a certain connection notifies it doesn ' t have a given hash
//remove connection_id from docs_being_fetched[hash] // not there, bail out