// retrieves url with HEAD. returns content length, // or -1 in case of error. static long urlSizeByHEAD(String url) { ret getURLSizeByHEAD(url); }
download show line numbers debug dex old transpilations
Travelled to 14 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, cfunsshuasjs, gwrvuhgaqvyk, irmadwmeruwu, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt
No comments. add comment
Snippet ID: | #1016310 |
Snippet name: | urlSizeByHEAD - synonym of getURLSizeByHEAD |
Eternal ID of this version: | #1016310/1 |
Text MD5: | d952341d680bda2f582bce38a74dfe4f |
Author: | stefan |
Category: | |
Type: | JavaX fragment (include) |
Public (visible to everyone): | Yes |
Archived (hidden from active list): | No |
Created/modified: | 2018-06-14 11:01:18 |
Source code size: | 151 bytes / 5 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 373 / 406 |
Referenced in: | [show references] |