()
| 4 | var broken = null // array of 2-arrays of int, the node ids of broken edges. |
| 5 | |
| 6 | function onLoad() { |
| 7 | // Grab data from server: package graph, "directory" tree, broken edges. |
| 8 | jQuery.ajax({url: "/data", success: onData}) |
| 9 | } |
| 10 | |
| 11 | // onData is called shortly after page load with the result of the /data request. |
| 12 | function onData(data) { |
nothing calls this directly
no outgoing calls
no test coverage detected