view Version @ 2597:99fdcb7f2a2a

Don't reuse timerid since on iOS and Android it is not an index to a timer table... it is the actual handle to the timer object. After calling dw_timer_disconnect() on it, the object will be invalid so set the timerid variable to 0 which is an invalid handle.
author bsmith@81767d24-ef19-dc11-ae90-00e081727c95
date Mon, 31 May 2021 16:53:11 +0000
parents 95ad22a4da2d
children 023045e14837
line wrap: on
line source

# Set these here to change the version for all platforms
DW_MAJOR_VERSION=3
DW_MINOR_VERSION=2