diff --git a/exec/newslink.js b/exec/newslink.js index 80711eadcb9ffed556177f3bc23f359bcd84b78d..551333653147ab9289e442758076e86c39016758 100644 --- a/exec/newslink.js +++ b/exec/newslink.js @@ -524,7 +524,7 @@ for(i in area) { if(parseInt(readln())==224) { printf("Getting headers for articles %u through %u\r\n", ptr, last_msg); article_list = new Array(); - while((rsp=readln())!='.' && socket.is_connected) { + while((rsp=readln())!='.' && socket.is_connected && !js.terminated) { if(rsp) article_list.push(parseInt(rsp)); } @@ -558,7 +558,7 @@ for(i in area) { var recv_lines=0; var file=undefined; var md5; - while(socket.is_connected) { + while(socket.is_connected && !js.terminated) { if(recv_lines && lines_per_yield && (recv_lines%lines_per_yield)==0) sleep(yield_length); @@ -572,7 +572,7 @@ for(i in area) { recv_lines++; - //printf("msgtxt: %s\r\n",line); +// printf("msgtxt: %s\r\n",line); if(line==".") { // print("End of message text");