# This timer used for polling vpn manager state.

# XXX what is an optimum polling interval?
# too little will be overkill, too much will
# miss transition states.
TIMER_MILLISECONDS = 250.0