Changes between Initial Version and Version 1 of Ticket #8870, comment 1


Ignore:
Timestamp:
2013-07-12T03:11:12+02:00 (13 years ago)
Author:
Don-vip

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #8870, comment 1

    initial v1  
    22
    33{{{#!java
    4                                     /* redirect pages have different content length, but retrieving a "nonredirect"
    5                                      *  page using index.php and the direct-link method gives slightly different
    6                                      *  content lengths, so we have to be fuzzy.. (this is UGLY, recode if u know better)
    7                                      */
    8                                     if (Math.abs(conn.getContentLength() - osize) > 200) {
    9                                         Main.info("{0} is a mediawiki redirect", u);
    10                                         conn.disconnect();
    11                                     }
     4/* redirect pages have different content length, but retrieving a "nonredirect"
     5 *  page using index.php and the direct-link method gives slightly different
     6 *  content lengths, so we have to be fuzzy.. (this is UGLY, recode if u know better)
     7 */
     8if (Math.abs(conn.getContentLength() - osize) > 200) {
     9    Main.info("{0} is a mediawiki redirect", u);
     10    conn.disconnect();
     11}
    1212}}}