Anonymous | Login | Signup for a new account | 12-17-2024 11:01 PST |
Main | My View | View Issues | Change Log | Docs |
Viewing Issue Simple Details [ Jump to Notes ] | [ View Advanced ] [ Issue History ] [ Print ] | ||||||||
ID | Category | Severity | Reproducibility | Date Submitted | Last Update | ||||
0003587 | [Quercus] | major | always | 06-29-09 09:34 | 08-27-09 11:40 | ||||
Reporter | tomi_m | View Status | public | ||||||
Assigned To | nam | ||||||||
Priority | normal | Resolution | fixed | ||||||
Status | closed | Product Version | 4.0.0 | ||||||
Summary | 0003587: NumberFormatException when calling $result = file_get_contents($url); | ||||||||
Description |
When trying to call file_get_contents($data); in PHP script where $data is url I get NumberFormatException. I have found bug in class method com.caucho.vfs.HttpStream.parseHeaders() when calling parseInt in line 814 trying to get http response content-length value. Parameter passed to parseInt should be trimmed. Original source if (key.matchesIgnoreCase("content-length")) { _contentLength = Integer.parseInt(value); } After modifying if (key.matchesIgnoreCase("content-length")) { _contentLength = Integer.parseInt(value.trim()); } |
||||||||
Additional Information | |||||||||
Attached Files | |||||||||
|
Mantis 1.0.0rc3[^]
Copyright © 2000 - 2005 Mantis Group
29 total queries executed. 26 unique queries executed. |