diff options
author | Venky Shankar <vshankar@redhat.com> | 2015-05-22 11:54:11 +0530 |
---|---|---|
committer | Venky Shankar <vshankar@redhat.com> | 2015-05-30 21:13:17 -0700 |
commit | 5f6876918e9c353bf0ebcd35707fb5cd8876c956 (patch) | |
tree | f6339d6d4602eda1b47cd838dd641d2bf1b38467 /cli | |
parent | 5e1f8629b15568ca43587fbf2d97dafc4491defe (diff) |
contrib/timer-wheel: mod_timer() and friends
Couple of timer-wheel api's to modify timer expiry times:
mod_timer()
mod_timer_pending()
Both the api's perform almost the same job with one minute
difference: mod_timer_pending() modifies timer expiry only
if the timer is pending (i.e. being tracked in timer-wheel).
Change-Id: Iae64934854ccfd6b081b849bff998ae3c3021bac
BUG: 1224647
Signed-off-by: Venky Shankar <vshankar@redhat.com>
Reviewed-on: http://review.gluster.org/10901
Tested-by: Gluster Build System <jenkins@build.gluster.com>
Tested-by: NetBSD Build System <jenkins@build.gluster.org>
Diffstat (limited to 'cli')
0 files changed, 0 insertions, 0 deletions