mirror of
https://github.com/urbit/shrub.git
synced 2024-12-12 10:29:01 +03:00
42 lines
1014 B
JavaScript
42 lines
1014 B
JavaScript
// debugging
|
|
urb.verb = false
|
|
urb.sources = {}
|
|
urb.deps.map(function(a){urb.sources[a] = "dep"})
|
|
|
|
urb.waspElem = function(ele){
|
|
url = ele.src || ele.href
|
|
if(!url || (new URL(url)).host != document.location.host)
|
|
return;
|
|
urb.waspUrl(url)
|
|
}
|
|
urb.waspUrl = function(url){
|
|
var xhr = new XMLHttpRequest()
|
|
xhr.open("HEAD", url)
|
|
xhr.send()
|
|
xhr.onload = urb.waspLoadedXHR
|
|
xhr.channel = url
|
|
}
|
|
urb.waspLoadedXHR = function(){
|
|
urb.sources[urb.getXHRWasp(this)] = this.channel
|
|
urb.wasp(urb.getXHRWasp(this))
|
|
}
|
|
urb.getXHRWasp = function(xhr){
|
|
var dep = xhr.getResponseHeader("etag")
|
|
if(dep) return JSON.parse(dep.substr(2))
|
|
}
|
|
|
|
urb.datadeps = {}
|
|
urb.waspData = function(dep){
|
|
urb.datadeps[dep] = true
|
|
urb.wasp(dep)
|
|
}
|
|
urb.ondataupdate = urb.onupdate // overridable
|
|
|
|
var _onupdate = urb.onupdate
|
|
urb.onupdate = function(dep){
|
|
if(urb.verb)
|
|
console.log("update", urb.datadeps[dep] ? "data" : "full", dep, urb.sources[dep])
|
|
if(urb.datadeps[dep]) urb.ondataupdate(dep)
|
|
else _onupdate(dep)
|
|
}
|