]> mj.ucw.cz Git - eval.git/commit
projects / eval.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5550a53) | patch
Box: Record in the meta-file whether the process has been killed
authorMartin Mares <mj@ucw.cz>
Sun, 5 Apr 2009 16:51:40 +0000 (18:51 +0200)
committerMartin Mares <mj@ucw.cz>
Sun, 5 Apr 2009 16:51:40 +0000 (18:51 +0200)
commit3d702b1d81216efd198f8816c13c24466107327a
tree09921d99d940c3f0cd4d049bc316dbb146153ebbtree | snapshot
parent5550a53554f5e20cafcde2304ddaeb1f59c43b4fcommit | diff
Box: Record in the meta-file whether the process has been killed

If it was, the time/memory statictics are known to be incomplete.
box/box.c diff | blob | history
MOE -- A modular contest system