234 |
let fin_meth = String.index ans ' ' in |
let fin_meth = String.index ans ' ' in |
235 |
let meth = String.sub ans 0 fin_meth in |
let meth = String.sub ans 0 fin_meth in |
236 |
let fin_file = String.index_from ans (fin_meth + 1) ' ' in |
let fin_file = String.index_from ans (fin_meth + 1) ' ' in |
237 |
let file = String.sub ans (fin_meth+1) (fin_file-fin_meth-1) in |
let file = String.sub ans (fin_meth+2) (fin_file-fin_meth-2) in |
238 |
let version = match ans.[String.length ans - 1] with |
let version = match ans.[String.length ans - 1] with |
239 |
'0' -> HTTP1_0 |
'0' -> HTTP1_0 |
240 |
| '1' -> HTTP1_1 |
| '1' -> HTTP1_1 |