[php] PEAR_Log: strftime() und Millisekunden.

[Thorsten Koch]

Hi nochmal,

Tatendrang ist doch manchmal etwas herrliches, deswegen hab ich es
gleich selbst gemacht. Zwar etwas mit der Hand am Arm (kann bei anders
formatiertem Zeitstempel komisch aussehen), aber für meine Zwecke paßt
es.

Änderungen in Datei file.php->log() $Revision: 1.44 $ 2005/09/19
04:24:14

Nach Zeile 298:

        list($usec, $sec) = explode(' ', microtime());

        /* Build the string containing the complete log line. */
        $line = sprintf($this->_lineFormat, strftime($this->_timeFormat,
$sec).
                ".".substr($usec, 2, 2),
                $this->_ident, $this->priorityToString($priority),
                $message) . $this->_eol;





Mit freundlichen Grüßen aus Stuttgart

Thorsten Koch