219 |
let fin_meth = String.index ans ' ' in |
let fin_meth = String.index ans ' ' in |
220 |
let meth = String.sub ans 0 fin_meth in |
let meth = String.sub ans 0 fin_meth in |
221 |
let fin_file = String.index_from ans (fin_meth + 1) ' ' in |
let fin_file = String.index_from ans (fin_meth + 1) ' ' in |
222 |
let file = String.sub ans (fin_meth+2) (fin_file-fin_meth-2) in |
let file = String.sub ans (fin_meth+1) (fin_file-fin_meth-1) in |
223 |
let version = match ans.[String.length ans - 1] with |
let version = match ans.[String.length ans - 1] with |
224 |
'0' -> HTTP1_0 |
'0' -> HTTP1_0 |
225 |
| '1' -> HTTP1_1 |
| '1' -> HTTP1_1 |