Hello everybody,
For an unknown reason (we are looking at it), the service to send ECDL
points by HTTP http://cristal.inria.fr/bin/ecdlresult did not work
any more this morning. I fixed it with a temporary hack (today Sunday
20 Feb at 10:43 MET). It seems to work now. I hope it is ok. We look
at that in detail Monday. Sorry for the problem.
-- Daniel de RAUGLAUDRE daniel.de_rauglaudre@inria.fr http://cristal.inria.fr/~ddr/
This archive was generated by hypermail 2b29 : Sun Feb 20 2000 - 11:14:34 MET