oops, the previous (unintended) check in was wrong and did not work
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 20 Apr 2006 09:01:00 +0000 (09:01 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 20 Apr 2006 09:01:00 +0000 (09:01 +0000)
commit0e55c7c3b844b0dabb8ba450bd5f0184517d8190
treeeeb2fcb16d0e30dba6ffae13b23476b3cffb91d8
parent97a90f27899194ec955b4cf6f4d4be0f95cdb9b7
oops, the previous (unintended) check in was wrong and did not work
the 'start' function was undefined and so the system never took off
The usage line is reviewed as well
host.init