Re: [Maria-developers] Value returned by my_getcputime