Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
New function: xbt_os_timer_resume() to restart a timer w/o resetting it.
authorMartin Quinson <martin.quinson@loria.fr>
Sun, 22 Jul 2012 09:33:07 +0000 (11:33 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Sun, 22 Jul 2012 09:33:07 +0000 (11:33 +0200)
commitcb2925f9e27482e531d327f9e1e19550c5966457
treedc4c4b4a7286de5985da04adcecf2c64245d6808
parentc8399c5c620074f7ccefde6ea4cc2d028cec953f
New function: xbt_os_timer_resume() to restart a timer w/o resetting it.

Patch from Jean-Noel Quintin, thanks for that dude.
ChangeLog
src/include/xbt/xbt_os_time.h
src/xbt/xbt_os_time.c