Content deleted Content added
mNo edit summary |
mNo edit summary |
||
Line 1:
// see http://
// To run this tool on other servers:
Line 89:
if (request.status == 200) {
page_list.push(request.responseText);
//dump_text(request.responseText);
// see if there's another pageful to get
Line 95:
return p.match( /(\d+)$/ )[0];
}, request.responseText.match( offset_regexp ) );
for (var i=0; i<matches.length; i++) {
var v = matches[i] * 1;
if (v != 0 && (offset == 0 || v < offset)) {
Line 111 ⟶ 107:
parse_data(page_list, handler);
} else {
// tail recurse
fetch_data(username, end_date, handler, next_offset, page_list);
Line 120 ⟶ 115:
function parse_data(page_list, handler) {
//var total_len = 0;
//for (var i=0; i<page_list.length; i++) total_len += page_list[i].length;
}
// ===================================== test/debug functions =========================================
function dump_text(text) {
|