Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Try to terminate thread in a more graceful manner, and avoid deadlock (race?).
[graphlib.git] / mydate
1 #!/bin/sh
2
3 exec date +"-- %a, %d %b %Y %T %z"\