summaryrefslogtreecommitdiffstats
path: root/base/run.py
Commit message (Collapse)AuthorAgeFilesLines
* Fix memory and time limit casting bugv0.8root2011-08-121-24/+15
| | | | | | | | | Memory and time limit numbers should be casted from string to int or else comparison between total memory and time used by user's binary would lead judge to run user's binary with memory limit defined in pam_limits, and time limit as double as problem time limit. bug found at submission number 1402 @ HelliCode
* Initial commitv0.7root2011-07-171-0/+84