timer_enable {governor}

Disable/enable a timer

Description

When disabled a timer always immediately returns FALSE

Usage

timer_enable(timer)

timer_disable(timer)

Arguments

timer

timer object returned by timer_init()

Value

None.

Examples

timer <- timer_init(1)
timer_disable(timer)
timer_enable(timer)