Timestamp: fonction de marquage horaire

 

J'avais recopié ceci depuis la page "clock" du http://wiki.tcl.tk

Le but : obtenir un marqueur horaire à la milliseconde ( je l'utilise comme identifiant unique d'un utilisateur dans une connexion à une base de données)

VWa


 #	from the wiki.tcl.tk  "clock" page : timestamp
 proc Timestamp { { tv_sec_p "" } { tv_msec_p "" } } {
    if { $tv_sec_p != "" } {
        upvar $tv_sec_p secs
    }
    if { $tv_msec_p != "" } {
        upvar $tv_msec_p fract
    }

    set secs [clock seconds]
    set ms [clock clicks -milliseconds]
    set base [expr { $secs * 1000 }]
    set fract [expr { $ms - $base }]
    if { $fract > 1000 } {
        set diff [expr { $fract / 1000 }]
        incr secs $diff
        incr fract [expr { -1000 * $diff }]
    }

    return $secs.[format %03d $fract]
 }