From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Mon, 6 Jun 2011 14:55:54 +0000 (+0000)
Subject: This update uses XML for client-server communication. For unknown reasons, this
X-Git-Tag: make_still_working~2462
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=inline;h=d2a3f16be6c74cc7d79198a6ed126103bb502aea;hp=d2a3f16be6c74cc7d79198a6ed126103bb502aea;p=helm.git

This update uses XML for client-server communication. For unknown reasons, this
doesn't seem to work well with Firefox (but works ok on Chrome).

We reverted to a single process http daemon because of an annoying bug in
Ocaml Http, causing the daemon to terminate randomly.
---