Bugfix: lin_time's queryTime() wasn't doing what I thought it did.
Implemented lin_time's realTime(), which does what we want.
Authored by: klaussfreire 2010-04-21
Parent: [r12764]
Child: [r12766]