log unix.py @ 121:72c02b640dcf

age author description
Fri, 15 Apr 2011 03:06:29 +0300 Oleg Oshmyan Wall-clock time limit is now enforced on the output wall-clock time