Se mejora el log para que sea más consistente con el de python.

diff --git a/src/T/log.php b/src/T/log.php
index 7941f63751e615a473ebef51b18fa915fc96387e..4511b26c2711ed0c5bec5cf4e3ac79a1e5549e45 100644 (file)
--- a/src/T/log.php
+++ b/src/T/log.php
@@ -16,7 +16,8 @@ function logs($str, $level = INFO) {
     global $LOGLEVEL, $LOGFP, $argv;
     if ($str and ($LOGLEVEL & $level) == $level) {
         fputs($LOGFP, sprintf("%s %s[%d] %-8s %s\n", strftime('%c'),
-                basename($argv[0]), getmypid(), loglevel2str($level), $str));
+                substr(basename($argv[0]), 3), getmypid(),
+                loglevel2str($level), $str));
     }
 }