Toplevel: fail gracefully when contacting the http server fails
Toplevel: fail gracefully when contacting the http server fails

alainfrisch/js_of_ocaml,OCamlPro-Henry/js_of_ocaml,OCamlPro-Henry/js_of_ocaml,alainfrisch/js_of_ocaml,alainfrisch/js_of_ocaml,alainfrisch/js_of_ocaml,OCamlPro-Henry/js_of_ocaml,OCamlPro-Henry/js_of_ocaml,alainfrisch/js_of_ocaml,OCamlPro-Henry/js_of_ocaml