diff configure @ 2513:0fa54c340902

Android: Second try at that new fix... move it into _dw_main_launch() This way we don't block the UI thread while waiting to see if the relaunch is requested, the old way we block the full 10 seconds no matter what.
author bsmith@81767d24-ef19-dc11-ae90-00e081727c95
date Fri, 07 May 2021 11:11:10 +0000
parents 20f05d3a9c64
children 0ce46809e95d
line wrap: on
line diff