Fix for the printout from the relax_disp.relax_time user function - the time is no longer divided by 1k.
Authored by: bugman 2013-04-03
Parent: [r19324]
Child: [r19326]
