Last modified: 2014-05-01 09:02:19 UTC
curl and wget output: zhuyifei1999@tools-dev:~$ curl http://tools.wmflabs.org/steinsplitter/files.php curl: (7) couldn't connect to host zhuyifei1999@tools-dev:~$ wget http://tools.wmflabs.org/steinsplitter/files.php --2014-05-01 08:48:06-- http://tools.wmflabs.org/steinsplitter/files.php Resolving tools.wmflabs.org (tools.wmflabs.org)... 208.80.155.131 Connecting to tools.wmflabs.org (tools.wmflabs.org)|208.80.155.131|:80... failed: Connection timed out. Retrying. Replacing "tools.wmflabs.org" with "tools-webproxy" worked: zhuyifei1999@tools-dev:~$ wget http://tools-webproxy/steinsplitter/files.php --2014-05-01 08:49:21-- http://tools-webproxy/steinsplitter/files.php Resolving tools-webproxy (tools-webproxy)... 10.68.16.4 Connecting to tools-webproxy (tools-webproxy)|10.68.16.4|:80... connected. HTTP request sent, awaiting response... 200 OK Length: unspecified [text/html] Saving to: `files.php' [ <=> ] 112,814 --.-K/s in 0.002s 2014-05-01 08:49:21 (60.8 MB/s) - `files.php' saved [112814]
10:56:21 - YuviPanda: Steinsplitter: https://gerrit.wikimedia.org/r/#/c/123149/ ^ 10:56:22 - YuviPanda: unmerged tho
*** This bug has been marked as a duplicate of bug 54052 ***
