diff stream/vcd_read_fbsd.h @ 35132:5ba6eb55d311

Avoid sleeping for too long without reacting to user input. Fixes bug #2092.
author reimar
date Mon, 01 Oct 2012 19:47:45 +0000
parents 3ab3212fb624
children 3a192d8ecc56
line wrap: on
line diff