time function

[dbuske]

There is no time function that I can find. Time.h is included, but there is no code to use time.
Droidfish starts the engine, white plays, then black just sits there not playing. Then black never plays and time goes down to minus infinity.