On Wed, 31 Jan 2001 08:53:13 -0600, Jarkko Hietaniemi wrote:

>So nice of you to volunteer for being our help desk person man for
>explaining to people why their time() just got broken :-)

I'd use the same function name for both the integer version of time(),
and the hires version. All you need is an optional parameter, whicch, if
true, makes time() return a float.

        $a = time();    #same as now
        $b = time(undef)  # idem
        $c = time(1)    # hires

-- 
        Bart.

Reply via email to