Sous LinuxThreads, s'assurer que le tick thread termine lorsque le programme est tue par un signal
Sous LinuxThreads, s'assurer que le tick thread termine lorsque le programme est tue par un signal


git-svn-id: e7e61699ce1738538ffebb75374fbea0924bc775@5198 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

yunxing/ocaml,yunxing/ocaml,yunxing/ocaml,yunxing/ocaml,gerdstolpmann/ocaml,eliberis/ocaml,yunxing/ocaml,msprotz/ocaml,eliberis/ocaml,yallop/camlp4,msprotz/ocaml,msprotz/ocaml,hhugo/camlp4,msprotz/ocaml,msprotz/ocaml,gerdstolpmann/ocaml,eliberis/ocaml,gerdstolpmann/ocaml,eliberis/ocaml,gerdstolpmann/ocaml,eliberis/ocaml,chambart/camlp4,gerdstolpmann/ocaml